JOÃO FILIPE QUINTAS DOS SANTOS RASGA (EA18-2AB9-BE38)

Curriculum Vitae

JOÃO FILIPE QUINTAS DOS SANTOS RASGA

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).

Identification

Personal identification

Full name: JOÃO FILIPE QUINTAS DOS SANTOS RASGA

Author identifiers

Ciência ID: EA18-2AB9-BE38
ORCID iD: 0000-0002-1239-8496

Email addresses

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

Telephones

Telephone

(+351) 218417148 Ext.: 1148 (Professional)
(+351) 214233228 Ext.: 5028 (Professional)

Addresses

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

Websites

https://fenix.tecnico.ulisboa.pt/homepage/ist14184 (Professional)

Knowledge fields

Exact Sciences - Mathematics

Education

	Degree	Classification
2020/06/19 Concluded	Habilitation in Mathematics (Título de Agregado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 Concluded	PhD in Mathematics (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal

Affiliation

Science

	Category Host institution	Employer
2020/07/17 - Current	Researcher (Research)	Instituto de Telecomunicações, Portugal
	Instituto de Telecomunicações, Portugal
2015 - 2020/07/16	Researcher (Research)	Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal

2007 - 2015	Researcher (Research)	Instituto de Telecomunicações, Portugal

2003 - 2007	Researcher (Research)	Center for Logic and Computation, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2020/07/01 - Current	Associate Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 - 2020/06/30	Assistant Professor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

2001 - 2003	Lecturer (University Teacher)	Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

1998 - 1999	Tutor (University Teacher)	Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

Projects

Contract

	Designation	Funders
2007 - 2011	QSec: Quantum Security info:eu-repo/grantAgreement/FCT/3599-PPCDT/67661/PT Researcher	Fundação para a Ciência e a Tecnologia Concluded
2005 - 2007	QuantLog: Logic for Quantum Computation and Information info:eu-repo/grantAgreement/FCT/POCI/55796/PT Researcher	Fundação para a Ciência e a Tecnologia Concluded
2003 - 2004	FIBLOG: Fibring Logics info:eu-repo/grantAgreement/FCT/POCI/37239/PT Researcher	Fundação para a Ciência e a Tecnologia Concluded

Outputs

Publications

Book	Rasga, J.; Sernadas, C.. Decidability of First-Order Theories and their Combination. Birkhäuser/Springer. 2020. Published Gomes, D.; Sernadas, A.; Sernadas, C.; Rasga, J.; Mateus, P.. A Mathematical Primer on Linear Optimization. College Publications. 2019. Published Sernadas, A.; Sernadas, C.; Rasga, J.; Ramos, J.. A Mathematical Primer on Computability. College Publications. 2018. Published Sernadas, A.. Essays in Honour of Amílcar Sernadas. College Publications. 2017. Published • Editor Hankin, C.; Rasga, J. (translator). Introdução ao Cálculo Lambda. Portugal: College Publications. 2012. Published • Translator
Book chapter	Rasga, J.; Sernadas, C.; Sernadas, A.. "A roadmap to decidability". In The Road to Universal Logic, 423-445. Springer, 2015. Published • 10.1007/978-3-319-10193-4_20 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. Published • 10.1007/978-3-642-45221-5_15 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. Published 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. Published • 10.1007/1-4020-3521-7_2 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. Published • 10.1007/3-540-45988-x_18
Conference paper	Mateus, P.; Moura, F.; Rasga, J.. "Transferring proofs of zero-knowledge systems with quantum correlations". Paper presented in The First Workshop on Quantum Security: QSec'07, 2007. Published • 10.1109/ICQNM.2007.22 Rasga, J.. "Cut elimination in propositional based logics". Paper presented in Structures and Deduction - the Quest for the Essence of Proofs, 2005. Published
Journal article	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. In press • 10.1093/jigpal/jzad030 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. Published • 10.1007/s10992-022-09691-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. Published • 10.1093/logcom/exab074 Ramos, Jaime; Rasga, João; Sernadas, Cristina. "Schema complexity in propositional-based logics". Mathematics 9 21 (2021): 2671. https://doi.org/10.3390/math9212671. Published • 10.3390/math9212671 Oliveira, D.; Rasga, J.. "Revisiting separation: Algorithms and complexity". Logic Journal of the IGPL 29 3 (2021): 251-302. Published • 10.1093/jigpal/jzz081 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. Published • 10.1093/jigpal/jzaa001 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. Published • 10.1016/j.jlamp.2021.100684 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. Published • 10.1017/bsl.2021.17 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. Accepted 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 Casal, F.; Rasga, J.; Souto, A.. "Kolmogorov one-way functions revisited". Cryptography 2 2 (2018): 9. Published • 10.3390/cryptography2020009 Sernadas, A.; Rasga, J.; Sernadas, C.. "On probability and logic". Portugaliae Mathematica 74 4 (2018): 267-313. Published • 10.4171/PM/2007 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. Published • 10.1093/jigpal/jzx005 Casal, F.; Rasga, J.. "Many-sorted equivalence of shiny and strongly polite theories". Journal of Automated Reasoning 60 2 (2017): 221-236. Published • 10.1007/s10817-017-9411-y Rasga, J.; Sernadas, C.; Sernadas, A.. "Preservation of admissible rules when combining logics". The Review of Symbolic Logic 9 4 (2016): 641-663. Published • 10.1017/S1755020316000241 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. Published Rasga, J.; Sernadas, C.; Sernadas, A.. "Craig interpolation in the presence of unreliable connectives". Logica Universalis 8 3-4 (2014): 423-446. Published • 10.1007/s11787-014-0101-9 Rasga, J.; Sernadas, A.; Sernadas, C.. "Fibring as biporting subsumes asymmetric combinations". Studia Logica 102 5 (2013): 1041-1074. Published • 10.1007/s11225-013-9524-1 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. Published • 10.1016/j.jal.2013.06.001 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. Published • 10.1093/logcom/ext038 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. Published • 10.1002/malq.201110051 Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing logics: soundness and completeness preservation". Studia Logica 101 1 (2012): 117-155. Published • 10.1007/s11225-011-9363-x Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing logics". Studia Logica 100 3 (2012): 545-581. Published • 10.1007/s11225-012-9414-y Sernadas, A.; Sernadas, C.; Rasga, J.. "On meet-combination of logics". Journal of Logic and Computation 22 6 (2011): 1453-1470. Published • 10.1093/logcom/exr035 Sernadas, A.; Sernadas, C.; Rasga, J.. "On combined connectives". Logica Universalis 5 2 (2011): 205-224. Published • 10.1007/s11787-011-0032-7 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. Published • 10.1093/jigpal/jzp081 Rasga, J.; Carnielli, W. A.; Sernadas, C.. "Interpolation via translations". Mathematical Logic Quarterly 55 5 (2009): 515-534. Published • 10.1002/malq.200810013 Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "On graph-theoretic fibring of logics". Journal of Logic and Computation 19 6 (2009): 1321-1357. Published • 10.1093/logcom/exp024 Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "A graph-theoretic account of logics". Journal of Logic and Computation 19 6 (2009): 1281-1320. Published • 10.1093/logcom/exp023 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. Published • 10.1093/logcom/exn014 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. Published • 10.1142/S0219749908003542 Rasga, J.. "Sufficient conditions for cut elimination with complexity analysis". Annals of Pure and Applied Logic 149 1-3 (2007): 81-99. Published • 10.1016/j.apal.2007.08.001 Carnielli, W. A.; Rasga, J.; Sernadas, C.. "Preservation of interpolation features by fibring". Journal of Logic and Computation 18 1 (2007): 123-151. Published • 10.1093/logcom/exm061 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. Published • 10.1093/jigpal/jzi013 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. Published • 10.3166/jancl.13.277-315 Sernadas, C.; Rasga, J.; Carnielli, W. A.. "Modulated fibring and the collapsing problem". Journal of Symbolic Logic 67 4 (2002): 1541-1569. Published • 10.2178/jsl/1190150298 Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. "Fibring labelled deduction systems". Journal of Logic and Computation 12 3 (2002): 443-473. Published • 10.1093/logcom/12.3.443

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
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

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2017/07/13 - 2022/02/17	Analog Characterization of Complexity Classes Co-supervisor of Riccardo Gozzi	Information Security (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/01/01 - 2021/12/21	Bar recursion with abstract types Co-supervisor of João Mira da Silva	Master in Applied Mathematics and Computation (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/01/29	DTL: Translation, SMT Verification, Separation and Interpolation Co-supervisor of Miguel Nascimento	Master in Applied Mathematics and Computation (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2018	Combining Satisfiability Procedures and Probabilistic Satisfiability Supervisor of Filipe Casal	Information Security (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2017	Linear Temporal Logic: Separation and Translation Supervisor of Daniel Oliveira	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2017	A Topoi Characterization of Godel Intermediate Logics Supervisor of Pedro Filipe	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2016	Metric Integer Interval Temporal Logic Supervisor of Samuel Vogel	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2012 - 2013	On Nelson-Oppen Techniques Supervisor of Filipe Casal	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2012	Sequent Calculi Labelled with Worlds for Modal Logics Supervisor of Teresa Matos	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2012	Fusion of General Modal Logics Labelled with Truth Values Co-supervisor of Karina Roggia	Mathematics (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010 - 2011	Kolmogorov Generic Bases Supervisor of Ana Pereira	Mathematics and Applications (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2007	A Proof Theory of Craig Interpolation Supervisor of Ismael Barcenas	Computational Logic (Master) Technische Universität Wien, Austria Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

	Event name Type of event (Role)	Institution / Organization
2020 - 2020	IST Mathematics Winter School (2020 - 2020) Meeting (President of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019	IST Mathematics Winter School (2019 - 2019) Meeting (Member of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016	Days in Logic Meeting (2016 - 2016) Meeting (Member of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016	International Joint Conference on Automated Reasoning (2016 - 2016) Conference (Member of the Organising Committee)	Universidade de Coimbra, Portugal
2008 - 2015	Lisboa Logic Colloquium (2008 - 2015) Seminar (Member of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015	Logic and Computation Seminar (2008 - 2015) Seminar (Member of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013	Logic Colloquium (2013 - 2013) Conference (Member of the Organising Committee)	Universidade de Évora, Portugal
2010 - 2010	Computability in Europe Conference (2010 - 2010) Conference (Member of the Organising Committee)	Universidade dos Açores, Portugal
2010 - 2010	Days in Logic Meeting (2010 - 2010) Meeting (Member of the Organising Committee)	Universidade do Porto, Portugal
2010 - 2010	World Congress and School on Universal Logic (2010 - 2010) Congress (Member of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009	European Annual Conference on Computer Science Logic (2009 - 2009) Conference (Member of the Organising Committee)	Universidade de Coimbra, Portugal
2008 - 2008	Days in Logic Meeting (2008 - 2008) Meeting (President of the Organising Committee)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Jury of academic degree

	Topic Role	Candidate name (Type of degree) Institution / Organization
2023/12/12	Theorem Proving over Temporal Logics (Thesis) Main arguer	Francisco Carvalho (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/12/21	Satisfiability Problem and its Tractable Cases (Thesis) Main arguer	Miguel Cóias (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/11/11	Computability of Logical Problems Associated to Partial Non-Deterministic Matrices (Thesis) Arguer	Pedro Filipe (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/12/20	From dynamic propositional logic to dynamic quantum logic (Thesis) Main arguer	Mariana Ribeiro (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/02/01	Meetings with the infinity (Thesis) Main arguer	Eunice Rodrigues (Master) Universidade Aberta, Portugal
2020/12/22	Modal logic: A survey (Thesis) Main arguer	Pedro Velosa (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/11/06	Practical quantum privacy protocols (Thesis) Arguer	Preeti Yadav (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020	The Concept of Function: Fundamentals and Teaching (Thesis) Main arguer	Paula Mota (Master) Universidade Aberta, Portugal
2019	Model Checking with Distributed Temporal Logic (Thesis) Main arguer	Fernando Subtil (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018	Analytic Classic-like Tableaux for Non-Deterministic Many-Valued Logics (Thesis) Main arguer	Filipa Montez (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017	Quantum Oblivious Transfer (Thesis) Arguer	João Rodrigues (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017	Quantum Measures, Noise and Measurement Errors in a Quantum Bit Commitment Protocol (Thesis) Arguer	Ricardo Loura (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017	Space Bounded Scatter Machines (Thesis) Main arguer	João Alírio (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016	Quantum Cryptography applied to Electronic-Voting Protocols (Thesis) Main arguer	Miguel Sabino (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014	Unsupervised Learning Algorithm for Pharmacokinetic Responses (Thesis) Main arguer	Élson Tomás (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014	Paraconsistency in Hybrid Logic (Thesis) Main arguer	Diana Costa (Master) Universidade de Aveiro, Portugal
2013	An Algorithm For Validation of ARINC 653 Configurations (Thesis) Main arguer	Bruno Tavares (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013	A Monotone Modal Logic for Algorithmic Statistics (Thesis) Main arguer	Francisco Mota (Master) Universidade do Porto, Portugal
2012	Characterization of Cryptographic Primitives based on Kolmogorov Complexity (Thesis) Main arguer	Andreia Teixeira (PhD) Universidade do Porto, Portugal
2011	Modal Logics for Reasoning about Distance Spaces (Thesis) Main arguer	Filipe Cunha (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2010	Probabilization of Logic Systems (Thesis) Arguer	Pedro Baltazar (PhD) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009	Proof-Theoretical Studies on the Bounded Functional Interpretation (Thesis) Arguer	Patrícia Engrácia (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2009	Pseudo-Boolean Approaches to Comparative Genomics (Thesis) Main arguer	João Delgado (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008	Paraconsistency, Disjunction and Uncertainty in Logic Programming: A Unifying Approach Based on Well-Founded Semantics (Thesis) Main arguer	João Alcântara (PhD) Universidade Nova de Lisboa, Portugal
2007	Communication Complexity: Relationship with the Length of Rectangles and with Instance Complexity (Thesis) Main arguer	Andreia Teixeira (Master) Universidade do Porto, Portugal
2005	Logics of Formal Inconsistency (Thesis) Main arguer	João Marcos (PhD) Universidade Estadual de Campinas, Brazil
2005	Law of Evidence (Computational View) (Thesis) Main arguer	Luís Silva (Master) King's College London, United Kingdom

Committee member

	Activity description Role	Institution / Organization
2024/05/02 - Current	Member of the Committee for Learning Efficiency of the Mathematics Department of IST. Member	Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/02/29 - Current	Vice-President of the Mathematics Department of IST for Liaison with IST Mathematics Degrees President / Vice-president	Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - Current	Cadernos de Lógica e Computação Book Series - co-editor Coordinator	College Publications, United Kingdom
2008 - 2015	Lisbon Logic Colloquium Member	Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - 2015	Logic and Computation Seminar Member	Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2015	Vice-Coordinator of the Security and Quantum Information Group President / Vice-president	Instituto de Telecomunicações, Portugal
2005 - 2007	Financial officer of the Center for Logic and Computation Director	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 Coordinator	Universidade de Lisboa Instituto Superior Técnico, Portugal
2001 - 2005	Branch of the IST Library at the Center for Logic and Computation Coordinator	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 Member	Universidade de Lisboa Instituto Superior Técnico, Portugal

Conference scientific committee

	Conference name	Conference host
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

Course / Discipline taught

	Academic session	Degree Subject (Type)	Institution / Organization
2012 - Current	Modal Logic	PhD in Mathematics (Doutoramento)
2012 - Current	Theory of Computation	BSc in Information Systems and Computer Engineering (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2008 - Current	Foundations of Logic and Theory of Computation	MSc in Mathematics and Applications (Mestrado)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - Current	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

Mentoring / Tutoring

	Topic	Student name
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

Other jury / evaluation

	Activity description	Institution / Organization
2021/11/10 - Current	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

Distinctions

Award

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

Other distinction

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