???global.info.a_carregar???
João Rasga graduated at Instituto Superior Técnico (IST) in 1996 and received his PhD in Mathematics from Universidade Te´cnica de Lisboa in 2003. In 2020 he did his habilitation in Mathematics at IST, Universidade de Lisboa. Currently he is an associate professor at IST working in the area of Logic and Computation. He is the author or co-author of around forty research papers published in international peer reviewed journals. He is also a co-author of two text books and a co-editor of one book published internationally as well as of the research book Decidability of Logical Theories and their Combination. João Rasga (co-)supervised three PhD students and around a dozen MSc students in the area of Logic and Computation. He is a co-editor of a book series in College Publications as well as of a special issue on Decidability of Logics and Their Theories and Combinations.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
JOÃO FILIPE QUINTAS DOS SANTOS RASGA

Identificadores de autor

Ciência ID
EA18-2AB9-BE38
ORCID iD
0000-0002-1239-8496
AuthenticusID
R-000-6Z8
Google Scholar ID
https://scholar.google.pt/citations?user=teFGWr4AAAAJ&hl=en
Researcher Id
B-8260-2008
Scopus Author Id
55910077700

Endereços de correio eletrónico

  • joao.rasga@tecnico.ulisboa.pt (Profissional)

Moradas

  • Departamento de Matemática, Instituto Superior Técnico, Av Rovisco Pais, 1049-001, Lisboa, Lisboa, Portugal (Profissional)

Websites

Formação
Grau Classificação
2020
Concluído
 Habilitation in Mathematics (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2003
Concluído
 PhD in Mathematics (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1996
Concluído
 Computer Science and Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2020 - Atual Investigador (Investigação) Instituto de Telecomunicações, Portugal
2015 - 2020 Investigador (Investigação) Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007 - 2015 Investigador (Investigação) Instituto de Telecomunicações, Portugal
2003 - 2007 Investigador (Investigação) Center for Logic and Computation, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2020 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2001 - 2003 Leitor (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
1998 - 1999 Monitor (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
Projetos

Projeto

Designação Financiadores
2021 - Atual Institute of Telecommunications
LA/P/0109/2020
10.54499/LA/P/0109/2020
UID/EEA/50008/2019
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2011 - 2012 Institute of Telecommunications - Projecto Estratégico - LA 8 - 2011-2012
PEst-OE/EEI/LA0008/2011
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2007 - 2011 QSec: Segurança Quântica
PTDC/EIA/67661/2006
info:eu-repo/grantAgreement/FCT/3599-PPCDT/67661/PT
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2005 - 2007 QuantLog: Lógica para Computação e Informação Quântica
POCI/MAT/55796/2004
info:eu-repo/grantAgreement/FCT/POCI/55796/PT
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2003 - 2004 FIBLOG: Fibring Logics
info:eu-repo/grantAgreement/FCT/POCI/37239/PT
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Mateus, Paulo; Moura, Filipe; Rasga, João. "Transferring proofs of zero-knowledge systems with quantum correlations". Trabalho apresentado em The First Workshop on Quantum Security: QSec'07, 2007.
    Publicado • 10.1109/ICQNM.2007.22
  2. Rasga, João. "Cut elimination in propositional based logics". Trabalho apresentado em Structures and Deduction - the Quest for the Essence of Proofs, 2005.
    Publicado
Artigo em revista
  1. Ramos, Jaime; Rasga, João; Sernadas, Cristina. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL 33 1 (2025): 173-201. https://doi.org/10.1093/jigpal/jzad030.
    Publicado • 10.1093/jigpal/jzad030
  2. Gouveia, Paula; Rasga, João; Sernadas, Cristina. "Meet-combination of consequence systems". Logic and Logical Philosophy 34 1 (2025): 73-108. https://doi.org/10.12775/LLP.2024.017.
    Publicado • 10.12775/LLP.2024.017
  3. Jaime Ramos; João Rasga; Cristina Sernadas. "Probabilistic semantics and calculi for multi-valued and paraconsistent logics". Studia Logica (2025): https://doi.org/10.1007/s11225-024-10132-2.
    No prelo • 10.1007/s11225-024-10132-2
  4. Rasga, João; Sernadas, Cristina. "On combining intuitionistic and S4 modal logic". Bulletin of the Section of Logic 53 3 (2024): 321-344. https://doi.org/10.18778/0138-0680.2024.11.
    Publicado • 10.18778/0138-0680.2024.11
  5. Ramos, Jaime; Rasga, João; Sernadas, Cristina. "Conservative translations revisited". Journal of Philosophical Logic 52 3 (2023): 889-913. https://doi.org/10.1007/s10992-022-09691-3.
    Publicado • 10.1007/s10992-022-09691-3
  6. Rasga, João; Sernadas, Cristina. "Adding abductive reasoning to a propositional logic". Journal of Logic and Computation 32 4 (2022): 697-728. https://doi.org/10.1093/logcom/exab074.
    Publicado • 10.1093/logcom/exab074
  7. Ramos, Jaime; Rasga, João; Sernadas, Cristina. "Schema complexity in propositional-based logics". Mathematics 9 21 (2021): 2671. https://doi.org/10.3390/math9212671.
    Publicado • 10.3390/math9212671
  8. Oliveira, Daniel; Rasga, João. "Revisiting separation: Algorithms and complexity". Logic Journal of the IGPL 29 3 (2021): 251-302. https://doi.org/10.1093/jigpal/jzz081.
    Publicado • 10.1093/jigpal/jzz081
  9. Rasga, João; Sernadas, Cristina; Karafili, Erisa; Viganò, Luca. "Time-stamped claim logic". Logic Journal of the IGPL 29 3 (2021): 303-332. https://doi.org/10.1093/jigpal/jzaa001.
    Publicado • 10.1093/jigpal/jzaa001
  10. Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca. "Event-based time-stamped claim logic". Journal of Logical and Algebraic Methods in Programming 121 (2021): 100684. https://doi.org/10.1016/j.jlamp.2021.100684.
    Publicado • 10.1016/j.jlamp.2021.100684
  11. Rasga, João; Sernadas, Cristina; Carnielli, Walter. "Reduction techniques for proving decidability in logics and their meet-combination". The Bulletin of Symbolic Logic 27 1 (2021): 39-66. https://doi.org/10.1017/bsl.2021.17.
    Publicado • 10.1017/bsl.2021.17
  12. Ramos, Jaime; Rasga, João; Sernadas, Cristina. "Essential structure of proofs as a measure of complexity". Logica Universalis 14 2 (2020): 209-242. https://doi.org/10.1007/s11787-020-00251-4.
    Publicado • 10.1007/s11787-020-00251-4
  13. Sernadas, Amílcar; Rasga, João; Sernadas, Cristina; Alcácer, Luís; Henriques, Alfredo B.. "Probabilistic logic of quantum observations". Logic Journal of the IGPL 27 3 (2019): 328-370. https://doi.org/10.1093/jigpal/jzy051.
    Publicado • 10.1093/jigpal/jzy051
  14. Casal, Filipe; Rasga, João; Souto, André. "Kolmogorov one-way functions revisited". Cryptography 2 2 (2018): 9. https://doi.org/10.3390/cryptography2020009.
    Publicado • 10.3390/cryptography2020009
  15. Sernadas, Amílcar; Rasga, J.; Sernadas, Cristina. "On probability and logic". Portugaliae Mathematica 74 4 (2018): 267-313. https://doi.org/10.4171/PM/2007.
    Publicado • 10.4171/PM/2007
  16. Rasga, João; Sernadas, Cristina; Mateus, Paulo; Sernadas, Amílcar. "Decision and optimization problems in the unreliable-circuit logic". Logic Journal of the IGPL 25 3 (2017): 283-308. https://doi.org/10.1093/jigpal/jzx005.
    Publicado • 10.1093/jigpal/jzx005
  17. Casal, Filipe; Rasga, João. "Many-sorted equivalence of shiny and strongly polite theories". Journal of Automated Reasoning 60 2 (2017): 221-236. https://doi.org/10.1007/s10817-017-9411-y.
    Publicado • 10.1007/s10817-017-9411-y
  18. Rasga, João; Sernadas, Cristina; Sernadas, Amílcar. "Preservation of admissible rules when combining logics". The Review of Symbolic Logic 9 4 (2016): 641-663. https://doi.org/10.1017/S1755020316000241.
    Publicado • 10.1017/S1755020316000241
  19. Sernadas, Amílcar; Rasga, João; Sernadas, Cristina; Mateus, Paulo. "Reasoning about logic circuits with independent input errors". South American Journal of Logic 1 1 (2015): 135-162. https://www.sa-logic.org/sajl-11.html.
    Publicado
  20. Rasga, João; Sernadas, Cristina; Sernadas, Amílcar. "Craig interpolation in the presence of unreliable connectives". Logica Universalis 8 3-4 (2014): 423-446. https://doi.org/10.1007/s11787-014-0101-9.
    Publicado • 10.1007/s11787-014-0101-9
  21. Rasga, João; Sernadas, Amílcar; Sernadas, Cristina. "Fibring as biporting subsumes asymmetric combinations". Studia Logica 102 5 (2013): 1041-1074. https://doi.org/10.1007/s11225-013-9524-1.
    Publicado • 10.1007/s11225-013-9524-1
  22. Sernadas, Cristina; Rasga, João; Sernadas, Amílcar. "Preservation of Craig interpolation by the product of matrix logics". Journal of Applied Logic 11 3 (2013): 328-349. https://doi.org/10.1016/j.jal.2013.06.001.
    Publicado • 10.1016/j.jal.2013.06.001
  23. Sernadas, Amílcar; Rasga, João; Sernadas, Cristina; Mateus, Paulo. "Approximate reasoning about logic circuits with single-fan-out unreliable gates". Journal of Logic and Computation 24 5 (2013): 1023-1069. https://doi.org/10.1093/logcom/ext038.
    Publicado • 10.1093/logcom/ext038
  24. Rasga, João; Lotfallah, Wafik; Sernadas, Cristina. "Completeness and interpolation of almost-everywhere quantification over finitely additive measures". Mathematical Logic Quarterly 59 4-5 (2013): 286-302. https://doi.org/10.1002/malq.201110051.
    Publicado • 10.1002/malq.201110051
  25. Rasga, João; Sernadas, Amílcar; Sernadas, Cristina. "Importing logics: soundness and completeness preservation". Studia Logica 101 1 (2012): 117-155. https://doi.org/10.1007/s11225-011-9363-x.
    Publicado • 10.1007/s11225-011-9363-x
  26. Rasga, João; Sernadas, Amílcar; Sernadas, Cristina. "Importing logics". Studia Logica 100 3 (2012): 545-581. https://doi.org/10.1007/s11225-012-9414-y.
    Publicado • 10.1007/s11225-012-9414-y
  27. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João. "On meet-combination of logics". Journal of Logic and Computation 22 6 (2011): 1453-1470. https://doi.org/10.1093/logcom/exr035.
    Publicado • 10.1093/logcom/exr035
  28. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João. "On combined connectives". Logica Universalis 5 2 (2011): 205-224. https://doi.org/10.1007/s11787-011-0032-7.
    Publicado • 10.1007/s11787-011-0032-7
  29. Rasga, João; Roggia, Karina; Sernadas, Cristina. "Fusion of sequent modal logic systems labelled with truth values". Logic Journal of IGPL 18 6 (2009): 893-920. https://doi.org/10.1093/jigpal/jzp081.
    Publicado • 10.1093/jigpal/jzp081
  30. Rasga, João; Carnielli, Walter; Sernadas, Cristina. "Interpolation via translations". Mathematical Logic Quarterly 55 5 (2009): 515-534. https://doi.org/10.1002/malq.200810013.
    Publicado • 10.1002/malq.200810013
  31. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Coniglio, Marcelo. "On graph-theoretic fibring of logics". Journal of Logic and Computation 19 6 (2009): 1321-1357. https://doi.org/10.1093/logcom/exp024.
    Publicado • 10.1093/logcom/exp024
  32. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Coniglio, Marcelo. "A graph-theoretic account of logics". Journal of Logic and Computation 19 6 (2009): 1281-1320. https://doi.org/10.1093/logcom/exp023.
    Publicado • 10.1093/logcom/exp023
  33. Cruz-Filipe, Luís; Rasga, João; Sernadas, Amílcar; Sernadas, Cristina. "Complete axiomatization of discrete-measure almost-everywhere quantification". Journal of Logic and Computation 18 6 (2008): 885-911. https://doi.org/10.1093/logcom/exn014.
    Publicado • 10.1093/logcom/exn014
  34. Bouda, Jan; Mateus, Paulo; Paunkovic, Nikola; Rasga, João. "On the power of quantum tamper-proof devices". International Journal of Quantum Information 6 2 (2008): 281-302. https://doi.org/10.1142/S0219749908003542.
    Publicado • 10.1142/S0219749908003542
  35. Rasga, João. "Sufficient conditions for cut elimination with complexity analysis". Annals of Pure and Applied Logic 149 1-3 (2007): 81-99. https://doi.org/10.1016/j.apal.2007.08.001.
    Publicado • 10.1016/j.apal.2007.08.001
  36. Carnielli, Walter; Rasga, João; Sernadas, Cristina. "Preservation of interpolation features by fibring". Journal of Logic and Computation 18 1 (2007): 123-151. https://doi.org/10.1093/logcom/exm061.
    Publicado • 10.1093/logcom/exm061
  37. Mateus, Paulo; Rasga, João; Sernadas, Cristina. "Modal sequent calculi labelled with truth values: cut elimination". Logic Journal of the IGPL 13 2 (2005): 173-199. https://doi.org/10.1093/jigpal/jzi013.
    Publicado • 10.1093/jigpal/jzi013
  38. Sernadas, Cristina; Viganò, Luca; Rasga, João; Sernadas, Amílcar. "Truth-values as labels: a general recipe for labelled deduction". Journal of Applied Non-Classical Logics 13 3-4 (2003): 277-315. https://doi.org/10.3166/jancl.13.277-315.
    Publicado • 10.3166/jancl.13.277-315
  39. Sernadas, Cristina; Rasga, João; Carnielli, Walter. "Modulated fibring and the collapsing problem". Journal of Symbolic Logic 67 4 (2002): 1541-1569. https://doi.org/10.2178/jsl/1190150298.
    Publicado • 10.2178/jsl/1190150298
  40. Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca. "Fibring labelled deduction systems". Journal of Logic and Computation 12 3 (2002): 443-473. https://doi.org/10.1093/logcom/12.3.443.
    Publicado • 10.1093/logcom/12.3.443
Capítulo de livro
  1. Rasga, João; Sernadas, Cristina; Sernadas, Amílcar. "A roadmap to decidability". In The Road to Universal Logic, 423-445. Springer, 2015.
    Publicado • 10.1007/978-3-319-10193-4_20
  2. Casal, Filipe; Rasga, João. "Revisiting the equivalence of shininess and politeness". In LPAR 2013: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, 198-212. Springer, 2013.
    Publicado • 10.1007/978-3-642-45221-5_15
  3. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Mateus, Paulo. "Non-deterministic combination of connectives". In Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, 321-338. College Publications, 2011.
    Publicado
  4. Caleiro, Carlos; Rasga, João; Sernadas, Cristina; Carnielli, Walter. "Fibring of logics as a universal construction". In Handbook of Philosophical Logic, 123-187. Springer, 2005.
    Publicado • 10.1007/1-4020-3521-7_2
  5. Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca. "Labelled deduction over algebras of truth-values". In FroCos 2002: Frontiers of Combining Systems, LNCS, 222-239. Springer, 2002.
    Publicado • 10.1007/3-540-45988-x_18
Livro
  1. Rasga, João; Sernadas, Cristina. Decidability of First-Order Theories and their Combination. Birkhäuser/Springer. 2020.
    Publicado
  2. Gomes, Diogo; Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Mateus, Paulo. A Mathematical Primer on Linear Optimization. College Publications. 2019.
    Publicado
  3. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Ramos, Jaime. A Mathematical Primer on Computability. College Publications. 2018.
    Publicado
  4. Sernadas, Amílcar. Essays in Honour of Amílcar Sernadas. College Publications. 2017.
    Publicado • Editor
  5. Hankin, Chris; Rasga, João. Introdução ao Cálculo Lambda. Portugal: College Publications. 2012.
    Publicado • Tradutor
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2024 Labelled proof systems for existential reasoning Days in Logic 2024 Meeting
Universidade de Lisboa Instituto Superior Técnico
2022 Logic, abduction and machine learning Winter's Mathematics School 2022
Universidade de Lisboa Instituto Superior Técnico
2022 Adding abductive reasoning to a propositional logic Days in Logic 2022 Meeting
Universidade do Algarve
2021 Decidability of logical theories and their combination Logica Universalis Webinar
Birkhauser
2021 Decidability of logical theories and their combination Mathematical Logic Seminar
Universidade de Lisboa Faculdade de Ciências
2020 Time-stamped claim logic Days in Logic Meeting
Universidade de Lisboa Faculdade de Ciências
2018 Probabilistic logic of quantum observations Days in Logic Meeting
Universidade de Aveiro
2016 Probabilistic logic of quantum observations (on behalf of A. Sernadas) GeTFun 4.0 IJCAR 2016 Workshop
Universidade de Coimbra
2015 On probability and logic Logic and Computation Seminar
Universidade de Lisboa Instituto Superior Técnico
2015 Preservation of admissible rules when meet-combining logics Mathematical Logic Seminar
Universidade de Lisboa Faculdade de Ciências
2014 Craig interpolation in the presence of unreliable connectives Logic and Computation Seminar
Universidade de Lisboa Instituto Superior Técnico
2013 Completeness and interpolation of almost-everywhere quantification over finitely additive measures Logic Colloquium
Universidade de Évora
2013 Preservation of Craig interpolation by the product of matrix logics Proof Theory in Lisbon Meeting
Universidade de Lisboa Faculdade de Ciências
2013 Completeness and interpolation of almost-everywhere quantification over finitely additive measures Logic and Computation Seminar
Universidade de Lisboa Instituto Superior Técnico
2013 Quantifier elimination revisited Logic and Computation Seminar
Universidade de Lisboa Instituto Superior Técnico
2012 On combined connectives Days in Logic Meeting
Universidade de Évora
2012 Importing logics: soundness and completeness preservation Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2011 Fibring as biporting subsumes asymmetric combinations Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2009 Decidability of first-order theories: a model-theoretic perspective Computability and Complexity course seminar of the MSc in Mathematics and Informatics
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia
2009 A categorical view on quantifier-elimination Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2008 Interpolation via translations Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2008 Discrete-measure almost-everywhere quantification Portuguese Mathematical Society Meeting - Logic and Computation Session
Instituto Superior de Engenharia de Coimbra
2008 Preservation of interpolation and generalized negative translations Algebra and Logic Seminar
Universidade do Minho Centro de Matemática
2008 Generalized negative translations and interpolation Days in Logic Meeting
Universidade Técnica de Lisboa Instituto Superior Técnico
2007 Transferring proofs of zero-knowledge systems with quantum tamper-proof devices Lisbon Quantum Computation, Information and Logic Meeting
Universidade Técnica de Lisboa Instituto Superior Técnico
2006 Almost-everywhere quantification revisited Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2006 Complete axiomatization of discrete-measure almost-everywhere quantification Mathematical Logic Seminar
Universidade de Lisboa Faculdade de Ciências
2006 Some complexity results on cut elimination in first order based calculi Days in Logic Meeting
Universidade de Coimbra
2005 Quantum complexity classes Quantum Computation and Information Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2005 Complexity analysis of cut elimination in first order based calculi 4th Workshop on Proof Theory, Computation, Complexity - ICALP
Universidade Técnica de Lisboa
2005 Cut elimination in propositional based sequent calculi Structures and Deduction - The Quest for the Essence of Proofs - ICALP
Universidade Técnica de Lisboa
2005 Sufficient conditions for cut elimination in first order based calculi Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2005 The complexity of cut elimination in a modal sequent calculus labelled with truth values Computer Science Seminar
Universidade de São Paulo Instituto de Matemática e Estatística
2005 The complexity of cut elimination in a modal sequent calculus labelled with truth values Colloquia Logicae
Universidade Estadual de Campinas Centro de Lógica, Epistemologia e História da Ciência
2004 Cut elimination in a general modal calculus Portuguese Category Seminar
Universidade de Coimbra
2004 Cut elimination in the modal sequent calculus labelled with truth values Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2003 Preservation of completeness by fibring labelled first-order based logics Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2002 Labelled first order based logic systems Software Engineering Seminar
University of Freiburg Institut fur Informatik
2002 Labelled deduction first-order based logics revisited Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2002 Quantified modal logics: completeness of labelled deduction systems Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2001 Modulated fibring: completeness preservation Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
2000 Fibring of labelled deduction systems: completeness preservation LOGCOMP project meeting
Universidade Técnica de Lisboa Instituto Superior Técnico
2000 Fibring of labelled deduction systems Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
1999 Fibring of labelled deduction systems LOGCOMP project meeting
Universidade Técnica de Lisboa
1999 Model theoretic fibring of logics with terms and binding operators ASPIRE project meeting
University of Linz
1999 Decidable situation calculus Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico
1998 Situation calculus within description logic? Logic and Computation Seminar
Universidade Técnica de Lisboa Instituto Superior Técnico

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2017 - 2022 Analog characterization of complexity classes
Coorientador de Riccardo Gozzi
 Information Security (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Bar recursion with abstract types
Coorientador de João Mira da Silva
 Applied Mathematics and Computation (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2021 DTL: translation, SMT verification, separation and interpolation
Coorientador de Miguel Nascimento
 Applied Mathematics and Computation (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2018 Combining satisfiability procedures and probabilistic satisfiability
Orientador de Filipe Casal
 Information Security (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2017 Linear temporal logic: separation and translation
Orientador de Daniel Oliveira
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2017 A topoi characterization of Godel intermediate logics
Orientador de Pedro Filipe
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2016 Metric integer interval temporal logic
Orientador de Samuel Vogel
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012 - 2013 On Nelson-Oppen techniques
Orientador de Filipe Casal
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2012 Sequent calculi labelled with worlds for modal logics
Orientador de Teresa Matos
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2012 Fusion of general modal logics labelled with truth values
Coorientador de Karina Roggia
 Mathematics (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2011 Kolmogorov generic bases
Orientador de Ana Pereira
 Mathematics and Applications (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2007 A proof theory of Craig interpolation
Orientador de Ismael Barcenas
 Computational Logic (Mestrado)
Technische Universität Wien, Áustria

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2024 - Atual Computability in Europe (2024)
Conferência (Membro da Comissão Organizadora)
 Universidade de Lisboa Faculdade de Ciências, Portugal
2020 - 2020 Mathematics Winter School (2020 - 2020)
Encontro (Presidente da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Mathematics Winter School (2019 - 2019)
Encontro (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Days in Logic (2016 - 2016)
Encontro (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 International Joint Conference on Automated Reasoning (2016 - 2016)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra, Portugal
2008 - 2015 Lisboa Logic Colloquium (2008 - 2015)
Seminário (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015 Logic and Computation Seminar (2008 - 2015)
Seminário (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 Logic Colloquium (2013 - 2013)
Conferência (Membro da Comissão Organizadora)
 Universidade de Évora, Portugal
2010 - 2010 Computability in Europe (2010 - 2010)
Conferência (Membro da Comissão Organizadora)
 Universidade dos Açores, Portugal
2010 - 2010 Days in Logic (2010 - 2010)
Encontro (Membro da Comissão Organizadora)
 Universidade do Porto, Portugal
2010 - 2010 World Congress and School on Universal Logic (2010 - 2010)
Congresso (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009 European Annual Conference on Computer Science Logic (2009 - 2009)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra, Portugal
2008 - 2008 Days in Logic (2008 - 2008)
Encontro (Presidente da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2024 On the proof theory of modal logics
Arguente principal
 Maria Osório Oliveira Costa (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2023 Theorem proving over temporal logics
Arguente principal
 Francisco Carvalho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 Satisfiability problem and its tractable cases
Arguente principal
 Miguel Cóias (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 Computability of logical problems associated to partial non-deterministic matrices
Arguente
 Pedro Filipe (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 Meetings with the infinity
Arguente principal
 Eunice Rodrigues (Mestrado)
Universidade Aberta, Portugal
2021 From dynamic propositional logic to dynamic quantum logic
Arguente principal
 Mariana Ribeiro (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 The concept of function: fundamentals and teaching
Arguente principal
 Paula Mota (Mestrado)
Universidade Aberta, Portugal
2020 Modal logic: a survey
Arguente principal
 Pedro Velosa (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Practical quantum privacy protocols
Arguente
 Preeti Yadav (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Model checking with distributed temporal logic
Arguente principal
 Fernando Subtil (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Analytic classic-like tableaux for non-deterministic many-valued logics
Arguente principal
 Filipa Montez (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Quantum oblivious transfer
Arguente
 João Rodrigues (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Quantum measures, noise and measurement errors in a quantum bit commitment protocol
Arguente
 Ricardo Loura (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Space bounded scatter machines
Arguente principal
 João Alírio (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 Quantum cryptography applied to electronic-voting protocols
Arguente principal
 Miguel Sabino (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 Unsupervised learning algorithm for pharmacokinetic responses
Arguente principal
 Élson Tomás (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 Paraconsistency in hybrid logic
Arguente principal
 Diana Costa (Mestrado)
Universidade de Aveiro, Portugal
2013 An algorithm for validation of ARINC 653 configurations
Arguente principal
 Bruno Tavares (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 A monotone modal logic for algorithmic statistics
Arguente principal
 Francisco Mota (Mestrado)
Universidade do Porto, Portugal
2012 Characterization of cryptographic primitives based on Kolmogorov complexity
Arguente principal
 Andreia Teixeira (Doutoramento)
Universidade do Porto, Portugal
2011 Modal logics for reasoning about distance spaces
Arguente principal
 Filipe Cunha (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 Probabilization of logic systems
Arguente
 Pedro Baltazar (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 Proof-theoretical studies on the bounded functional interpretation
Arguente
 Patrícia Engrácia (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 Pseudo-boolean approaches to comparative genomics
Arguente principal
 João Delgado (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 Paraconsistency, disjunction and uncertainty in logic programming: a unifying approach based on well-founded semantics
Arguente principal
 João Alcântara (Doutoramento)
Universidade Nova de Lisboa, Portugal
2007 Communication complexity: relationship with the length of rectangles and with instance complexity
Arguente principal
 Andreia Teixeira (Mestrado)
Universidade do Porto, Portugal
2005 Logics of formal inconsistency
Arguente principal
 João Marcos (Doutoramento)
Universidade Estadual de Campinas, Brasil
2005 Law of evidence (computational view)
Arguente principal
 Luís Silva (Mestrado)
King's College London, Reino Unido

Arbitragem científica em conferência

Nome da conferência Local da conferência
2016 - 2016 Days in Logic Universidade Nova de Lisboa
2010 - 2010 Computability in Europe Universidade dos Açores
2010 - 2010 Days in Logic Universidade do Porto
2008 - 2008 Days in Logic Universidade de Lisboa

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2021/11/10 - Atual PhD Proposal Evaluation
Membro
 Universidade de Coimbra, Portugal

Universidade Aberta, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2012 - Atual Modal logic Mathematics (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012 - Atual Theory of computation Computer Science and Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - Atual Foundations of logic and theory of computation Applied Mathematics and Computation (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2023 Elements of programming Industrial Engineering and Management (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2020 Introduction to optimization Applied Mathematics and Computation (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2018 Introduction to computability and complexity Applied Mathematics and Computation (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2014 Algorithms and computational modelling Applied Mathematics and Computation (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2014 Discrete mathematics Computer Science and Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2012 Computability and complexity Applied Mathematics and Computation (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2011 Functional logic and proof theory Mathematics (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2002 - 2003 Data structures and algorithms Computer Science and Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1998 - 2002 Introduction to Programming Applied Mathematics and Computation (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1999 - 2000 Algebraic Elements of Programming Computer Science and Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1998 - 1999 Syntax and Semantics of Languages Computer Science and Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2024 - Atual Vice-president of the Mathematics Department for liaison with the IST mathematics degrees
Presidente / Vice-presidente
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2024 - Atual Committee for learning efficiency of the Mathematics Department
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2024 - Atual Scientific and pedagogical council of the Mathematics Department
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - Atual Cadernos de Lógica e Computação book series - co-editor
Coordenador
 College Publications, Reino Unido
2023 - 2023 Comission for the Day of Técnico 2023 of the Department of Mathematics
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/05/23 - 2022/05/23 Comission for the Day of Técnico 2022 of the Department of Mathematics
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2018 Creation of the 2017-18 mathematics admission exam for “Maiores de 23 Anos”
Presidente / Vice-presidente
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015 Lisbon Logic Colloquium Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015 Logic and Computation Seminar Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2015 Vice-coordinator of the Security and Quantum Information Group
Presidente / Vice-presidente
 Instituto de Telecomunicações, Portugal
2010 - 2010 Grants for the conference Computability in Europe
Membro
 Instituto de Telecomunicações, Portugal
2005 - 2007 Financial officer of the Center for Logic and Computation
Diretor
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2006 Coordinator of the first year of the Degree on Informatics Engineering and Computers at Tagus-Park
Coordenador
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2001 - 2005 Branch of the IST Library at the Center for Logic and Computation
Coordenador
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2004 Representative of the teaching assistants of the department of mathematics at the Pedagogical Council
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2024 - 2024 Reviewing - Logic Journal of the IGPL
2023 - 2023 Reviewing - Journal of Applied Logics
2023 - 2023 Reviewing - Studia Logica
2022 - 2022 Reviewing - Logic Journal of the IGPL
2017 - 2017 Reviewing - European Annual Conference on Computer Science Logic
2016 - 2016 Reviewing - Logic Journal of the IGPL
2014 - 2014 Reviewing - Formal Aspects of Computing
2014 - 2014 Reviewing - Logic in Computer Science Symposium
2013 - 2013 Reviewing - Logic Journal of the IGPL
2010 - 2011 Reviewing - Logic Journal of the IGPL
2010 - 2010 Reviewing - European Annual Conference on Computability in Europe
2010 - 2010 Reviewing - International Colloquium on Automata, Languages and Programming
2009 - 2010 Reviewing - Journal of Logic and Computation
2009 - 2009 Reviewing - Studies in Logic, College Publications
2008 - 2008 Reviewing - Formal Aspects of Computing

Tutoria

Tópico Nome do aluno
2024 - 2024 Coq and group theory Miguel Marques
2023 - 2023 Deductive systems: the natural deduction case David Paulino
2022 - 2023 Modal logic António Gouveia
2021 - 2022 Homotopy type theory João Miguel Faria
2019 - 2020 Z3: an efficient SMT solver Catarina Trovão
2019 - 2020 A description of the techniques used in CVC4 for establishing the satisfiability of quantified formulas Miguel Nascimento
2018 - 2019 Mathematics and music Miguel Frazão
2018 - 2019 Automated sequent derivation in propositional logic Catarina Costa
2017 - 2018 SAT, multigraphs and CNF Duarte Nascimento
2016 - 2017 Modal logic Miguel Frazão
2016 - 2017 Basic proof theory and deductive systems Maria Ribeiro
2016 - 2017 Deductive systems and proof compression Leonor Barata
2014 - 2015 Decision problem for the predicate calculus with equality Gonçalo Graça
2012 - 2013 Sequent calculi for propositional modal logic Jacinto França
2012 - 2013 Exogenous perspective on enriching logics Mariana Farinha
2011 - 2012 Approximate algorithms for the Travelling Salesman Problem Catarina Rodrigues
2010 - 2011 Modal logic and category theory João Carvalho
2009 - 2011 Deductive systems João Monteiro
2008 - 2009 Algebraic logic Pedro Soares
Distinções

Prémio

2023 Outstanding Teaching Award
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outra distinção

2008 Honorable mention on the Young Researchers Prize TULisbon / CGD - Applied Mathematics