???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
José Félix Costa

Nomes de citação

  • Costa, José Félix

Identificadores de autor

Ciência ID
8516-1FDE-402F
ORCID iD
0000-0002-0345-9904

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
1995
Concluído
 Informática, Teoria da Computação (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
 Aprovado
1992
Concluído
 Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Fundamentos Matemáticos da Concorrência" (TESE/DISSERTAÇÃO)
 Distinção e Louvor
1990
Concluído
 Mestrado em Matemática Aplicada (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Teoria Algébrica de Processos Animados" (TESE/DISSERTAÇÃO)
 Muito Bom
1986
Concluído
 Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Universidade dos Açores, Portugal
 Muito Bom
1982
Concluído
 Física (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 18 (dezoito valores)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - Atual Investigador (Investigação) Universidade de Lisboa Centro de Filosofia das Ciências, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/08/01 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
1999 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993 - 1999 Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1993 - 1993 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
1992 - 1993 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1989 - 1992 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1987 - 1989 Assistente Estagiário (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1986 - 1987 Assistente (Docente Universitário) Universidade dos Açores, Portugal
1983 - 1986 Assistente Estagiário (Docente Universitário) Universidade dos Açores, Portugal
Produções

Publicações

Artigo em revista
  1. Eduardo Skapinakis; José Félix Costa. "Machines that perform measurements". Theoretical Computer Science (2022): https://doi.org/10.1016/j.tcs.2022.04.037.
    10.1016/j.tcs.2022.04.037
  2. Beggs, Edwin; Costa, Jose Felix; Pocas, Diogo; Tucker, John V.. "AN ANALOGUE-DIGITAL CHURCH-TURING THESIS". International Journal of Foundations of Computer Science 25 4 (2014): 373-389. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000340462400002&KeyUID=WOS:000340462400002.
    10.1142/s0129054114400012
  3. Beggs, Edwin; Costa, Jose Felix; Tucker, John V.. "THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY". Review of Symbolic Logic 7 4 (2014): 618-646. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000346165100002&KeyUID=WOS:000346165100002.
    10.1017/s1755020314000240
  4. Beggs, E.; Costa, J.F.; Poças, D.; Tucker, J.V.. "Oracles that measure thresholds: The Turing machine and the broken balance". Journal of Logic and Computation 23 6 (2013): 1155-1181. http://www.scopus.com/inward/record.url?eid=2-s2.0-84890412945&partnerID=MN8TOARS.
    10.1093/logcom/ext047
  5. Costa, J.F.. "Incomputability at the foundations of physics (A study in the philosophy of science)". Journal of Logic and Computation 23 6 (2013): 1225-1248. http://www.scopus.com/inward/record.url?eid=2-s2.0-84890325292&partnerID=MN8TOARS.
    10.1093/logcom/ext048
  6. Beggs, E.; Costa, J.F.; Tucker, J.V.. "A natural computation model of positive relativisation". International Journal of Unconventional Computing 10 1-2 (2013): 111-141. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887925262&partnerID=MN8TOARS.
  7. Costa, J.F.; Leong, R.. "The ARNN model relativises P = NP and P ¿ NP". Theoretical Computer Science 499 (2013): 2-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881190436&partnerID=MN8TOARS.
    10.1016/j.tcs.2013.05.022
  8. Beggs, E.; Costa, J.F.; Poças, D.; Tucker, J.V.. "On the power of threshold measurements as Oracles". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7956 LNCS (2013): 6-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886001285&partnerID=MN8TOARS.
    10.1007/978-3-642-39074-6-3
  9. Guerra, H.; Costa, J.F.. "Processes with infinite liveness requirements". Journal of Logic and Algebraic Programming (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84876074477&partnerID=MN8TOARS.
    10.1016/j.jlap.2013.03.001
  10. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "The impact of models of a physical oracle on computational power". Mathematical Structures in Computer Science 22 5 (2012): 853-879. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866129771&partnerID=MN8TOARS.
    10.1017/S0960129511000557
  11. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Axiomatizing physical experiments as oracles to algorithms". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370 1971 (2012): 3359-3384. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862841835&partnerID=MN8TOARS.
    10.1098/rsta.2011.0427
  12. Calude, C.S.; Costa, J.F.; Guerra, H.. "Preface to the Special Issue on Physics and Computation "towards a Computational Interpretation of Physical Theories"". Applied Mathematics and Computation 219 1 (2012): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864253487&partnerID=MN8TOARS.
    10.1016/j.amc.2012.07.041
  13. Calude, C.S.; Costa, J.F.. "Editorial". International Journal of Unconventional Computing 7 5 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-83455213622&partnerID=MN8TOARS.
  14. Costa, J.F.; Dershowitz, N.. "Introduction". Natural Computing 10 4 (2011): 1215-1217. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855935755&partnerID=MN8TOARS.
    10.1007/s11047-011-9247-z
  15. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Physical Oracles: The Turing Machine and the Wheatstone Bridge". Studia Logica 95 1 (2010): 279-300. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049443316&partnerID=MN8TOARS.
    10.1007/s11225-010-9254-6
  16. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Limits to measurement in experiments governed by algorithms". Mathematical Structures in Computer Science 20 6 (2010): 1019-1050. http://www.scopus.com/inward/record.url?eid=2-s2.0-79251605050&partnerID=MN8TOARS.
    10.1017/S0960129510000356
  17. Costa, J.F.. "Computable scientists, uncomputable world". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6079 LNCS (2010): 6-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-79956326743&partnerID=MN8TOARS.
    10.1007/978-3-642-13523-1_4
  18. Calude, C.S.; Costa, J.F.. "Preface to the Special Issue Unconventional Computing 2008". Natural Computing 9 4 (2010): 793-794. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649903239&partnerID=MN8TOARS.
    10.1007/s11047-010-9221-1
  19. Calude, C.S.; Costa, J.F.. "Applied Mathematics and Computation: Introduction". Applied Mathematics and Computation 215 4 (2009): 1309-1310. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955306231&partnerID=MN8TOARS.
    10.1016/j.amc.2009.04.059
  20. Loff, B.; Costa, J.F.. "Five views of hypercomputation". International Journal of Unconventional Computing 5 3-4 (2009): 193-207. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952501941&partnerID=MN8TOARS.
  21. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Computational complexity with experiments as oracles. II. Upper bounds". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 465 2105 (2009): 1453-1465. http://www.scopus.com/inward/record.url?eid=2-s2.0-67149094838&partnerID=MN8TOARS.
    10.1098/rspa.2008.0412
  22. Costa, J.F.; Loff, B.; Mycka, J.. "A foundation for real recursive function theory". Annals of Pure and Applied Logic 160 3 (2009): 255-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-69249229730&partnerID=MN8TOARS.
    10.1016/j.apal.2009.01.013
  23. Guerra, H.; Costa, J.F.. "Processes with local and global liveness requirements". Journal of Logic and Algebraic Programming 78 3 (2009): 117-137. http://www.scopus.com/inward/record.url?eid=2-s2.0-59349103219&partnerID=MN8TOARS.
    10.1016/j.jlap.2008.08.003
  24. Calude, C.S.; Costa, J.F.. "Introduction". Natural Computing 8 3 (2009): 429-430. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349157291&partnerID=MN8TOARS.
    10.1007/s11047-009-9113-4
  25. Mycka, J.; Costa, J.F.; Coelho, F.. "The Euclid abstract machine". International Journal of Unconventional Computing 4 3 (2008): 223-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952469985&partnerID=MN8TOARS.
  26. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.. "On the complexity of measurement in classical physics". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4978 LNCS (2008): 20-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349335530&partnerID=MN8TOARS.
    10.1007/978-3-540-79228-4-2
  27. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Oracles and advice as measurements". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5204 LNCS (2008): 33-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-52149084813&partnerID=MN8TOARS.
    10.1007/978-3-540-85194-3_6
  28. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Computational complexity with experiments as oracles". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 464 2098 (2008): 2777-2801. http://www.scopus.com/inward/record.url?eid=2-s2.0-49749083115&partnerID=MN8TOARS.
    10.1098/rspa.2008.0085
  29. Pacheco, J.; Costa, J.F.. "The abstract immune system algorithm". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4618 LNCS (2007): 137-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049059517&partnerID=MN8TOARS.
  30. Loff, B.; Costa, J.F.; Mycka, J.. "Computability on reals, infinite limits and differential equations". Applied Mathematics and Computation 191 2 (2007): 353-371. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548124674&partnerID=MN8TOARS.
    10.1016/j.amc.2007.02.146
  31. Costa, J.F.; Loff, B.; Mycka, J.. "The new promise of analog computation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4497 LNCS (2007): 189-195. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149032780&partnerID=MN8TOARS.
    10.1007/978-3-540-73001-9_20
  32. Mycka, J.; Costa, J.F.. "A new conceptual framework for analog computation". Theoretical Computer Science 374 1-3 (2007): 277-290. http://www.scopus.com/inward/record.url?eid=2-s2.0-33947372501&partnerID=MN8TOARS.
    10.1016/j.tcs.2007.01.005
  33. Mycka, J.; Coelho, F.; Costa, J.F.. "The euclid abstract machine: Trisection of the angle and the halting problem". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4135 LNCS (2006): 195-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750018951&partnerID=MN8TOARS.
  34. Doria, F.A.; Costa, J.F.. "Introduction to the special issue on hypercomputation". Applied Mathematics and Computation 178 1 (2006): 1-3. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745484354&partnerID=MN8TOARS.
    10.1016/j.amc.2005.09.065
  35. Mycka, J.; Costa, J.F.. "Undecidability over continuous time". Logic Journal of the IGPL 14 5 (2006): 649-658. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845708606&partnerID=MN8TOARS.
    10.1093/jigpal/jzl004
  36. Mycka, J.; Costa, J.F.. "The computational power of continuous dynamic systems". Lecture Notes in Computer Science 3354 (2005): 164-175. http://www.scopus.com/inward/record.url?eid=2-s2.0-24144469336&partnerID=MN8TOARS.
  37. Mycka, J.; Costa, J.F.. "Real recursive functions and their heirarchy". Journal of Complexity 20 6 (2004): 835-857. http://www.scopus.com/inward/record.url?eid=2-s2.0-10244239347&partnerID=MN8TOARS.
    10.1016/j.jco.2004.06.001
  38. Neto, J.P.; Siegelmann, H.T.; Costa, J.F.. "Symbolic processing in neural networks". Journal of the Brazilian Computer Society 8 3 (2003): 58-70. http://www.scopus.com/inward/record.url?eid=2-s2.0-18444368739&partnerID=MN8TOARS.
  39. Silva Graça, D.; Costa, J.F.. "Analog computers and recursive functions over the reals". Journal of Complexity 19 5 (2003): 644-664. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141615048&partnerID=MN8TOARS.
    10.1016/S0885-064X(03)00034-7
  40. Campagnolo, M.L.; Moore, C.; Costa, J.F.. "An analog characterization of the Grzegorczyk hierarchy". Journal of Complexity 18 4 (2002): 977-1000. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036889222&partnerID=MN8TOARS.
    10.1006/jcom.2002.0655
  41. Campagnolo, M.L.; Moore, C.; Costa, J.F.. "Iteration, Inequalities, and Differentiability in Analog Computers". Journal of Complexity 16 4 (2000): 642-660. http://www.scopus.com/inward/record.url?eid=2-s2.0-0011287661&partnerID=MN8TOARS.
    10.1006/jcom.2000.0559
  42. Menezes, P.B.; Sernadas, A.; Costa, J.F.. "Nonsequential automata semantics for a concurrent, object-based language". Electronic Notes in Theoretical Computer Science 14 (1998): 245-273. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442459312&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80239-7
  43. Menezes, P.B.; Costa, J.F.. "Synchronization in Petri nets". Fundamenta Informaticae 26 1 (1996): 11-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030125950&partnerID=MN8TOARS.
  44. Sernadas, A.; Sernadas, C.; Costa, J.F.. "Object specification logic". Journal of Logic and Computation 5 5 (1995): 603-630. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957184803&partnerID=MN8TOARS.
    10.1093/logcom/5.5.603
  45. Costa, J.F.; Sernadas, A.. "Progress assumption in concurrent systems". Formal Aspects of Computing 7 1 (1995): 18-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-34249753408&partnerID=MN8TOARS.
    10.1007/BF01214621
  46. Costa, J.F.; Sernadas, A.; Sernadas, C.. "Object inheritance beyond subtyping". Acta Informatica 31 1 (1994): 5-26. http://www.scopus.com/inward/record.url?eid=2-s2.0-21344491785&partnerID=MN8TOARS.
    10.1007/BF01178920
Livro
  1. Calude, C.S.; Costa, J.F.; Freund, R.; Oswald, M.; Rozenberg, G.. Unconventional Computation - 7th International Conference, UC 2008, Proceedings: Preface. 2008.
  2. Costa, J.F.; Lourenço, H.. Canonical institutions of behaviour. 2002.
  3. Rodrigues, P.; Costa, J.F.; Siegelmann, H.T.. Verifying properties of neural networks. 2001.
Distinções

Outra distinção

1992 Menção Honrosa no Prémio Científico IBM
1992 Prémio Descartes
Governo da República Portuguesa Ministério das Finanças, Portugal