???global.info.a_carregar???
Born in 1973 in Coimbra, João Rasga graduated at IST in 1996 and received his PhD in Mathematics from Universidade Técnica de Lisboa in 2003. In 2020 João Rasga did his habilitation in Mathematics at IST, Universidade de Lisboa. Currently he is Associate Professor at the Department of Mathematics of IST at Universidade de Lisboa and a Researcher at the Instituto de Telecomunições (IT).
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

Endereços de correio eletrónico

  • joao.rasga@tecnico.ulisboa.pt (Profissional)
  • jrasga@gmail.com (Profissional)

Telefones

Telefone
  • (+351) 218417148 Ext.: 1148 (Profissional)
  • (+351) 214233228 Ext.: 5028 (Profissional)

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Matemática
Formação
Grau Classificação
2020/06/19
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
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/07/17 - Atual Investigador (Investigação) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal
2015 - 2020/07/16 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/07/01 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2020/06/30 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
2007 - 2011 QSec: Quantum Security
info:eu-repo/grantAgreement/FCT/3599-PPCDT/67661/PT
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2005 - 2007 QuantLog: Logic for Quantum Computation and Information
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, P.; Moura, F.; Rasga, J.. "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, J.. "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, Joao; Sernadas, Cristina. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL (2024): http://dx.doi.org/10.1093/jigpal/jzad030.
    No prelo • 10.1093/jigpal/jzad030
  2. Ramos, Jaime; Rasga, Joao; Sernadas, Cristina. "Conservative translations revisited". Journal of Philosophical Logic 52 3 (2023): 889-913. http://dx.doi.org/10.1007/s10992-022-09691-3.
    Publicado • 10.1007/s10992-022-09691-3
  3. Rasga, João; Sernadas, Cristina. "Adding abductive reasoning to a propositional logic". Journal of Logic and Computation 32 4 (2022): 697-728. http://dx.doi.org/10.1093/logcom/exab074.
    Publicado • 10.1093/logcom/exab074
  4. 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
  5. Oliveira, D.; Rasga, J.. "Revisiting separation: Algorithms and complexity". Logic Journal of the IGPL 29 3 (2021): 251-302.
    Publicado • 10.1093/jigpal/jzz081
  6. Rasga, João; Sernadas, Cristina; Karafili, Erisa; Viganò, Luca. "Time-stamped claim logic". Logic Journal of the IGPL 29 3 (2021): 303-332. http://dx.doi.org/10.1093/jigpal/jzaa001.
    Publicado • 10.1093/jigpal/jzaa001
  7. 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. http://dx.doi.org/10.1016/j.jlamp.2021.100684.
    Publicado • 10.1016/j.jlamp.2021.100684
  8. Rasga, João; Sernadas, Cristina; Carnielli, W.. "Reduction techniques for proving decidability in logics and their meet-combination". The Bulletin of Symbolic Logic 27 1 (2021): 39-66. http://dx.doi.org/10.1017/bsl.2021.17.
    Publicado • 10.1017/bsl.2021.17
  9. Ramos, J. (0318-9E5E-37F5); Rasga, J.; Sernadas, C. (2B1E-69D8-1BD1). "Essential structure of proofs as a measure of complexity". Logica Universalis 14 2 (2020): 209-242.
    Aceite para publicação
  10. Rasga, Joao. "Probabilistic logic of quantum observations". Logic Journal of the IGPL (2019): http://dx.doi.org/10.1093/jigpal/jzy051.
    10.1093/jigpal/jzy051
  11. Casal, F.; Rasga, J.; Souto, A.. "Kolmogorov one-way functions revisited". Cryptography 2 2 (2018): 9.
    Publicado • 10.3390/cryptography2020009
  12. Sernadas, A.; Rasga, J.; Sernadas, C.. "On probability and logic". Portugaliae Mathematica 74 4 (2018): 267-313.
    Publicado • 10.4171/PM/2007
  13. Rasga, J.; Sernadas, C.; Mateus, P.; Sernadas, A.. "Decision and optimization problems in the unreliable-circuit logic". Logic Journal of the IGPL 25 3 (2017): 283-308.
    Publicado • 10.1093/jigpal/jzx005
  14. Casal, F.; Rasga, J.. "Many-sorted equivalence of shiny and strongly polite theories". Journal of Automated Reasoning 60 2 (2017): 221-236.
    Publicado • 10.1007/s10817-017-9411-y
  15. Rasga, J.; Sernadas, C.; Sernadas, A.. "Preservation of admissible rules when combining logics". The Review of Symbolic Logic 9 4 (2016): 641-663.
    Publicado • 10.1017/S1755020316000241
  16. Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.. "Reasoning about logic circuits with independent input errors". South American Journal of Logic 1 1 (2015): 135-162.
    Publicado
  17. Rasga, J.; Sernadas, C.; Sernadas, A.. "Craig interpolation in the presence of unreliable connectives". Logica Universalis 8 3-4 (2014): 423-446.
    Publicado • 10.1007/s11787-014-0101-9
  18. Rasga, J.; Sernadas, A.; Sernadas, C.. "Fibring as biporting subsumes asymmetric combinations". Studia Logica 102 5 (2013): 1041-1074.
    Publicado • 10.1007/s11225-013-9524-1
  19. Sernadas, C.; Rasga, J.; Sernadas, A.. "Preservation of Craig interpolation by the product of matrix logics". Journal of Applied Logic 11 3 (2013): 328-349.
    Publicado • 10.1016/j.jal.2013.06.001
  20. Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.. "Approximate reasoning about logic circuits with single-fan-out unreliable gates". Journal of Logic and Computation 24 5 (2013): 1023-1069.
    Publicado • 10.1093/logcom/ext038
  21. Rasga, J.; Lotfallah, W. B.; Sernadas, C.. "Completeness and interpolation of almost-everywhere quantification over finitely additive measures". Mathematical Logic Quarterly 59 4-5 (2013): 286-302.
    Publicado • 10.1002/malq.201110051
  22. Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing logics: soundness and completeness preservation". Studia Logica 101 1 (2012): 117-155.
    Publicado • 10.1007/s11225-011-9363-x
  23. Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing logics". Studia Logica 100 3 (2012): 545-581.
    Publicado • 10.1007/s11225-012-9414-y
  24. Sernadas, A.; Sernadas, C.; Rasga, J.. "On meet-combination of logics". Journal of Logic and Computation 22 6 (2011): 1453-1470.
    Publicado • 10.1093/logcom/exr035
  25. Sernadas, A.; Sernadas, C.; Rasga, J.. "On combined connectives". Logica Universalis 5 2 (2011): 205-224.
    Publicado • 10.1007/s11787-011-0032-7
  26. Rasga, J.; Roggia, K.; Sernadas, C.. "Fusion of sequent modal logic systems labelled with truth values". Logic Journal of IGPL 18 6 (2009): 893-920.
    Publicado • 10.1093/jigpal/jzp081
  27. Rasga, J.; Carnielli, W. A.; Sernadas, C.. "Interpolation via translations". Mathematical Logic Quarterly 55 5 (2009): 515-534.
    Publicado • 10.1002/malq.200810013
  28. Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "On graph-theoretic fibring of logics". Journal of Logic and Computation 19 6 (2009): 1321-1357.
    Publicado • 10.1093/logcom/exp024
  29. Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "A graph-theoretic account of logics". Journal of Logic and Computation 19 6 (2009): 1281-1320.
    Publicado • 10.1093/logcom/exp023
  30. Cruz-Filipe, L.; Rasga, J.; Sernadas, A.; Sernadas, C.. "Complete axiomatization of discrete-measure almost-everywhere quantification". Journal of Logic and Computation 18 6 (2008): 885-911.
    Publicado • 10.1093/logcom/exn014
  31. Bouda, J.; Mateus, P.; Paunkovic, N.; Rasga, J.. "On the power of quantum tamper-proof devices". International Journal of Quantum Information 6 2 (2008): 281-302.
    Publicado • 10.1142/S0219749908003542
  32. Rasga, J.. "Sufficient conditions for cut elimination with complexity analysis". Annals of Pure and Applied Logic 149 1-3 (2007): 81-99.
    Publicado • 10.1016/j.apal.2007.08.001
  33. Carnielli, W. A.; Rasga, J.; Sernadas, C.. "Preservation of interpolation features by fibring". Journal of Logic and Computation 18 1 (2007): 123-151.
    Publicado • 10.1093/logcom/exm061
  34. Mateus, P.; Rasga, J.; Sernadas, C.. "Modal sequent calculi labelled with truth values: Cut elimination". Logic Journal of the IGPL 13 2 (2005): 173-199.
    Publicado • 10.1093/jigpal/jzi013
  35. Sernadas, C.; Viganó, L.; Rasga, J.; Sernadas, A.. "Truth-values as labels: A general recipe for labelled deduction". Journal of Applied Non-Classical Logics 13 3-4 (2003): 277-315.
    Publicado • 10.3166/jancl.13.277-315
  36. Sernadas, C.; Rasga, J.; Carnielli, W. A.. "Modulated fibring and the collapsing problem". Journal of Symbolic Logic 67 4 (2002): 1541-1569.
    Publicado • 10.2178/jsl/1190150298
  37. Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. "Fibring labelled deduction systems". Journal of Logic and Computation 12 3 (2002): 443-473.
    Publicado • 10.1093/logcom/12.3.443
Capítulo de livro
  1. Rasga, J.; Sernadas, C.; Sernadas, A.. "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, F.; Rasga, J.. "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, A.; Sernadas, C.; Rasga, J.; Mateus, P.. "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, C.; Rasga, J.; Sernadas, C.; Carnielli, W. A.. "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, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. "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, J.; Sernadas, C.. Decidability of First-Order Theories and their Combination. Birkhäuser/Springer. 2020.
    Publicado
  2. Gomes, D.; Sernadas, A.; Sernadas, C.; Rasga, J.; Mateus, P.. A Mathematical Primer on Linear Optimization. College Publications. 2019.
    Publicado
  3. Sernadas, A.; Sernadas, C.; Rasga, J.; Ramos, J.. A Mathematical Primer on Computability. College Publications. 2018.
    Publicado
  4. Sernadas, A.. Essays in Honour of Amílcar Sernadas. College Publications. 2017.
    Publicado • Editor
  5. Hankin, C.; Rasga, J. (translator). 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/02/02 Labelled proof systems for existential reasoning Days in Logic 2024 Meeting
Universidade de Lisboa Instituto Superior Técnico
2022/06/30 Adding abductive reasoning to a propositional logic Days in Logic 2022 Meeting
Universidade do Algarve
2022/02/19 Logic, abduction and machine learning Winter's Mathematics School 2022
Universidade de Lisboa Instituto Superior Técnico
2021/11/08 Decidability of logical theories and their combination Mathematical Logic Seminar
Universidade de Lisboa Faculdade de Ciências
2021/09/08 Decidability of logical theories and their combination Logica Universalis Webinar
Birkhauser
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/07/13 - 2022/02/17 Analog Characterization of Complexity Classes
Coorientador de Riccardo Gozzi
 Information Security (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/01/01 - 2021/12/21 Bar recursion with abstract types
Coorientador de João Mira da Silva
 Master in Applied Mathematics and Computation (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/01/29 DTL: Translation, SMT Verification, Separation and Interpolation
Coorientador de Miguel Nascimento
 Master in 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
2020 - 2020 IST Mathematics Winter School (2020 - 2020)
Encontro (Presidente da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 IST Mathematics Winter School (2019 - 2019)
Encontro (Membro da Comissão Organizadora)
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Days in Logic Meeting (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 Conference (2010 - 2010)
Conferência (Membro da Comissão Organizadora)
 Universidade dos Açores, Portugal
2010 - 2010 Days in Logic Meeting (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 Meeting (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
2023/12/12 Theorem Proving over Temporal Logics
Arguente principal
 Francisco Carvalho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/12/21 Satisfiability Problem and its Tractable Cases
Arguente principal
 Miguel Cóias (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/11/11 Computability of Logical Problems Associated to Partial Non-Deterministic Matrices
Arguente
 Pedro Filipe (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/12/20 From dynamic propositional logic to dynamic quantum logic
Arguente principal
 Mariana Ribeiro (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/02/01 Meetings with the infinity
Arguente principal
 Eunice Rodrigues (Mestrado)
Universidade Aberta, Portugal
2020/12/22 Modal logic: A survey
Arguente principal
 Pedro Velosa (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/11/06 Practical quantum privacy protocols
Arguente
 Preeti Yadav (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 The Concept of Function: Fundamentals and Teaching
Arguente principal
 Paula Mota (Mestrado)
Universidade Aberta, 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 Meeting Universidade Nova de Lisboa
2010 - 2010 Computability in Europe Conference Universidade dos Açores
2010 - 2010 Days in Logic Meeting Universidade do Porto
2008 - 2008 Days in Logic Meeting Universidade de Lisboa

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2012 - Atual Modal Logic PhD in Mathematics (Doutoramento)
2012 - Atual Theory of Computation BSc in Information Systems and Computer Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - Atual Foundations of Logic and Theory of Computation MSc in Mathematics and Applications (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - Atual Elements of Programming BSc in Industrial Engineering and Management (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2020 Introduction to Optimization BSc in Applied Mathematics (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2018 Introduction to Computability and Complexity BSc in Mathematics and Applications (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2014 Algorithms and Computational Modelling BSc in Mathematics and Applications (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2014 Discrete Mathematics BSc in Information Systems and Computer Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2012 Computability and Complexity MSc in Mathematics and Applications (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2011 Functional Logic and Proof Theory PhD in Mathematics (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2002 - 2003 Data Structures and Algorithms BSc in Information Systems and Computer Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1998 - 2002 Introduction to Programming BSc in Mathematics and Applications (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1999 - 2000 Algebraic Elements of Programming BSc in Information Systems and Computer Engineering (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
1998 - 1999 Syntax and Semantics of Languages BSc in Information Systems and Computer 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/05/02 - Atual Member of the Committee for Learning Efficiency of the Mathematics Department of IST.
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/02/29 - Atual Vice-President of the Mathematics Department of IST for Liaison with IST Mathematics Degrees
Presidente / Vice-presidente
 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
2008 - 2015 Lisbon Logic Colloquium
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015 Logic and Computation Seminar
Membro
 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
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 of Instituto Superior Técnico
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal

Outro júri / avaliação

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

Universidade Aberta, Portugal
2023/05/19 - 2023/05/20 Member of the Comission for the Day of Técnico 2023 of the Department of Mathematics, IST, U. Lisboa Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 - 2023 Publication reviewing - Journal of Applied Logics
2023 - 2023 Publication reviewing - Studia Logica
2022/05/23 - 2022/05/23 Member of the Comission for the Day of Técnico 2022 of the Department of Mathematics, IST, U. Lisboa Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2022 Publication reviewing - Logic Journal of the IGPL
2017 - 2018 Creation of the 2017-18 Mathematics admission exam for “Maiores de 23 Anos” in Instituto Superior Técnico Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Publication reviewing - European Annual Conference on Computer Science Logic
2016 - 2016 Publication reviewing - Logic Journal of the IGPL
2014 - 2014 Publication reviewing - Formal Aspects of Computing
2014 - 2014 Publication reviewing - Logic in Computer Science Symposium
2013 - 2013 Publication reviewing - Logic Journal of the IGPL
2010 - 2011 Publication reviewing - Logic Journal of the IGPL
2010 - 2010 Publication reviewing - European Annual Conference on Computability in Europe
2010 - 2010 Publication reviewing - International Colloquium on Automata, Languages and Programming
2010 - 2010 Participation grants in the Computability in Europe conference Instituto de Telecomunicações, Portugal
2009 - 2010 Publication reviewing - Journal of Logic and Computation
2009 - 2009 Publication reviewing - Series Studies in Logic, College Publications
2008 - 2008 Publication reviewing - Formal Aspects of Computing

Tutoria

Tópico Nome do aluno
2021/09/01 - 2022/03/04 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