Andreia Filipa Torcarto Mordido Rodrigues (9E1A-712A-9824)

Curriculum Vitae

Andreia Mordido is an Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon, and a researcher at LASIGE. She was a visiting researcher at Carnegie Mellon University in Fall 2019. She received her Ph.D. degree in Information Security in 2017 and her Ms.C. degree in Mathematics and Applications in 2011, both from Instituto Superior Técnico, University of Lisbon, and her B.Sc. in Mathematics from Faculty of Sciences and Technology, New University of Lisbon, in 2009. She is a researcher working on programming languages and type systems for the specification and verification of communication protocols and programs. In the past, she worked on probabilistic and equational logics for the formalization of security properties on cryptographic protocols. She has also worked on satisfiability problems and implemented solvers for probabilistic satisfiability problems, used for validating security properties on protocols. Her main research interests include programming languages, type systems and logic.

Read full resume ↓

Identification

Personal identification

Full name: Andreia Filipa Torcarto Mordido Rodrigues

Author identifiers

Ciência ID: 9E1A-712A-9824
ORCID iD: 0000-0002-1547-0692

Addresses

LASIGE. Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, 1749-016, Lisboa, Lisboa, Portugal (Professional)

Websites

http://www.di.fc.ul.pt/~amordido/ (Personal)

Knowledge fields

Exact Sciences - Computer and Information Sciences - Computer Sciences
Exact Sciences - Computer and Information Sciences - Computer Sciences

Education

	Degree	Classification
2017 Concluded	Ph.D. Information Security (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal "A probabilistic logic over equations and domain restrictions" (THESIS/DISSERTATION)	Pass with Distinction
2011 Concluded	M.Sc. Mathematics and Applications (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal "Dynamic probabilistic epistemic logic - towards information security" (THESIS/DISSERTATION)	17/20
2009 Concluded	B.Sc. Mathematics (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal "n/a" (THESIS/DISSERTATION)	18/20

Affiliation

Science

	Category Host institution	Employer
2018/11/01 - Current	Principal Investigator (Research)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

2019/08 - 2019/10	Visiting Researcher (Research)	Carnegie Mellon University, United States
	Carnegie Mellon University, United States
2016/12/01 - 2018/07/31	Researcher (Research)	INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal
	INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal
2011/01/01 - 2016/11/30	Researcher (Research)	Instituto de Telecomunicações, Portugal

2011/01/01 - 2011/06/30	Researcher (Research)	Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

2008/12/01 - 2009/11/30	Research Trainee (Research)	Universidade Nova Centro de Matemática e Aplicações, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2020/10 - Current	Assistant Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal

2018/09/03 - 2020/10	Invited Assistant Professor (University Teacher)	Universidade de Lisboa Faculdade de Ciências, Portugal

2012/09/01 - 2016/07/31	Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

	Category Host institution	Employer
2020/01 - 2022/01	Member of the Executive Commission of LASIGE	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Projects

Grant

	Designation	Funders
2011/01 - 2015	Doctoral Grant SFRH/BD/77648/2011 PhD Student Fellow	Fundação para a Ciência e a Tecnologia Concluded

Contract

	Designation	Funders
2018 - 2019	Confident - Communication Contracts for Distributed Systems Development PTDC/EEI-CTP/4503/2014 Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018 - 2018	COMPACT - Competitive Methods to protect local Public Administration from Cyber security Threats grant agreement 740712 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal
2018 - 2018	SATIE - Security of Air Transport Infrastructures grant agreement 832969 Researcher INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Ongoing
2018 - 2018	EUNOMIA - User-Oriented, Secure, Trustful and Decentralized Social Media grant agreement 825171 Researcher INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Ongoing
2018 - 2018	SPARTA - Strategic Programs for Advanced Research and Technology in Europe grant agreement 830892 Researcher INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Ongoing
2016 - 2018	DOGANA - Advances social engineering and vulnerability assessment framework grant agreement 653618 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal	Concluded
2016 - 2018	ASGARD - Analysis system for gathered raw data grant agreement 700381 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal
2016 - 2017	ECOSSIAN - European COntrol System Security Incident Analysis Network grant agreement 607577 Researcher Instituto de Engenharia de Sistemas e Computadores, Portugal
2011 - 2014	ComFormCrypt - Computational Semantics of Formal Methods in Cryptography PTDC/EIA-CCO/113033/2009 Researcher Instituto de Telecomunicações, Portugal
2011 - 2011	Co-evolution and self-organization of cooperation PTDC/FIS/101248/2008 Research Fellow Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Other

	Designation	Funders
2021/03/01 - Current	SafeSessions: Safe Concurrent Programming with Session Types PTDC/CCI-COM/6453/2020 Co-PI FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal	Fundação para a Ciência e a Tecnologia Ongoing

Outputs

Publications

Conference paper	SILVESTRE, ANTÓNIO; Medeiros, Ibéria; Andreia Mordido. "Towards a SQL Injection Vulnerability Detector Based on Session Types". Paper presented in 19th Internation Conference on Evaluation of Novel Approaches to Software Engineering, 2024. Accepted Henry DeYoung; Andreia Mordido; Frank Pfenning; Ankush Das. "Parametric Subtyping for Structural Parametric Polymorphism". Paper presented in 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), 2024. Published Gil Silva; Andreia Mordido; Vasco T. Vasconcelos. "Subtyping Context-Free Session Types". Paper presented in 34th International Conference on Concurrency Theory (CONCUR 2023), 2023. Published Andreia Mordido; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.. "Parameterized Algebraic Protocols". Paper presented in 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), 2023. Published • 10.1145/3591277 Bernardo Almeida; Mordido, Andreia; Vasco T. Vasconcelos. Corresponding author: Bernardo Almeida. "Kind Inference for the FreeST Programming Language". Paper presented in 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Paris, 2023. Published Poças, Diogo; Diana Costa; Andreia Mordido; Vasco T. Vasconcelos. "System F-mu-omega with Context-free Session Types". Paper presented in 32nd European Symposium on Programming, ESOP 2023, 2023. Published Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning. "Polarized Subtyping". Paper presented in ESOP 2022, 2022. Accepted Diana Costa; Mordido, Andreia; Poças, Diogo; Vasco Vasconcelos. "Higher-order Context-free Session Types in System F". Paper presented in PLACES 2022: Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, 2022. Accepted Costa, Diana; Mordido, Andreia; Poças, Diogo; T. Vasconcelos, Vasco. "Polymorphic Higher-Order Context-Free Session Types". Paper presented in Polymorphic Higher-Order Context-Free Session Types, 2022. Accepted Afonso Falcão; Andreia Mordido; Vasco Vasconcelos. "Protocol-based smart contract generation". Paper presented in WTSC Workshop on Trusted Smart Contracts, 2022. Accepted Ankush Das; Henry DeYoung; Mordido, Andreia; Frank Pfenning. "Nested Session Types". Paper presented in European Symposium on Programming, ESOP 2021, 2021. Published Bernardo Almeida; Mordido, Andreia; Vasconcelos, Vasco T. "Deciding the bisimilarity of context-free session types". Paper presented in Tools and Algorithms for Construction and Analysis of Systems, TACAS 2020, Dublin, 2020. https://doi.org/10.1007/978-3-030-45237-7_3 Mordido, Andreia; Casal, Filipe; Vasconcelos, Vasco T.; Almeida, Bernardo. "Mixed Sessions". Paper presented in European Symposium on Programming, ESOP 2020, Dublin, 2020. https://doi.org/10.1007/978-3-030-44914-8_26 Caleiro, Carlos; Casal, Filipe; Mordido, Andreia. "Classical Generalized Probabilistic Satisfiability". Paper presented in IJCAI, 2017. 10.24963/ijcai.2017/126 Mordido, Andreia; Prof. Dr. Carlos Manuel Costa Lourenço Caleiro. "An Equation-Based Classical Logic". Paper presented in WoLLIC2015: International Workshop on Logic, Language, Information, and Computation, 2015. Published • 10.1007/978-3-662-47709-0_4
Conference poster	Andreia Mordido. "Bisimilarity of Context-Free Session Types". Paper presented in ETAPS 2019, 2019.
Journal article	Costa, Diana; Mordido, Andreia; Poças, Diogo; Vasconcelos, Vasco T.. "Polymorphic higher-order context-free session types". Theoretical Computer Science 1001 (2024): 114582. http://dx.doi.org/10.1016/j.tcs.2024.114582. 10.1016/j.tcs.2024.114582 Das, Ankush; DeYoung, Henry; Andreia Mordido; Pfenning, Frank. "Nested Session Types". ACM Transactions on Programming Languages and Systems 44 3 (2022): 1-45. http://dx.doi.org/10.1145/3539656. 10.1145/3539656 Casal, Filipe; Mordido, Andreia; Vasconcelos, Vasco T.. "Mixed sessions". Theoretical Computer Science 897 (2022): 23-48. http://dx.doi.org/10.1016/j.tcs.2021.08.005. 10.1016/j.tcs.2021.08.005 Bernardo Almeida; Mordido, Andreia; Peter Thiemann; Vasco Vasconcelos. "Polymorphic Lambda Calculus with Context-free Session Types". Information and Computation (2022): Published Casal, Filipe; Mordido, Andreia; T. Vasconcelos, Vasco. "Mixed Sessions: the Other Side of the Tape". Electronic Proceedings in Theoretical Computer Science 314 (2020): 46-60. http://dx.doi.org/10.4204/eptcs.314.5. 10.4204/eptcs.314.5 Caleiro, Carlos; Casal, Filipe; Mordido, Andreia. "Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities". Theoretical Computer Science 781 (2019): 39-62. http://dx.doi.org/10.1016/j.tcs.2019.02.021. 10.1016/j.tcs.2019.02.021 Almeida, Bernardo; Mordido, Andreia; T. Vasconcelos, Vasco. "FreeST: Context-free Session Types in a Functional Language". Electronic Proceedings in Theoretical Computer Science 291 (2019): 12-23. http://dx.doi.org/10.4204/eptcs.291.2. Open access • 10.4204/eptcs.291.2 Mordido, Andreia; Caleiro, Carlos. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29 06 (2019): 872-895. http://dx.doi.org/10.1017/s096012951800035x. 10.1017/s096012951800035x Caleiro, Carlos; Casal, Filipe; Mordido, Andreia. "Generalized Probabilistic Satisfiability". Electronic Notes in Theoretical Computer Science 332 (2017): 39-56. http://dx.doi.org/10.1016/j.entcs.2017.04.004. 10.1016/j.entcs.2017.04.004
Thesis / Dissertation	Mordido, Andreia. "A probabilistic logic over equations and domain restrictions". PhD, Universidade de Lisboa Instituto Superior Técnico, 2017. https://sqig.math.tecnico.ulisboa.pt/pub/AndreiaM/17-M-PhDthesis.pdf. Mordido, Andreia. "Dynamic probabilistic epistemic logic - towards information security". Master, Universidade de Lisboa Instituto Superior Técnico, 2011.

Other

Other output

FreeST: Concurrent Programming Language. Co-authored the implementation of a concurrent programming language with context-free session types. Available here: http://rss.di.fc.ul.pt/tools/freest/. 2019. Andreia Mordido.
Probabilistic Satisfiability Solver. Developed a probabilistic satisfiability solver that decides the satisfiability problem for the probabilistic logic of Fagin et al. Available here: https://github.com/fcasal/ggenpsat. 2016. Andreia Mordido.

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
2021/03/30	Nested Session Types	ESOP 2021
2019	Probabilistic satisfiability and applications	Talks@DI Faculdade de Ciências, Universidade de Lisboa (Portugal)
2019	Checking the equivalence of context-free session types	BEAT 2019 Sigplan (Portugal)
2019	Session type equivalence via bisimulation	PoP Seminar Carnegie Mellon University (Pittsburgh, United States)
2016	Probabilistic Satisfiability	Logic and Computation Seminar IST, Universidade de Lisboa (Portugal)
2016	Generalized Probabilistic Satisfiability	LSFA 2016 (Portugal)
2016	Probabilistic Logic over Equations and Domain Restrictions	Days in Logic 2016 FCT UNL (Portugal)
2016	Student-centered learning, teaching and assessment	Assessment and Accreditation of Higher Education Institutions EIQAS Project
2015	An Equation-Based Classical Logic	Logic and Computation Seminar IST, Universidade de Lisboa (Portugal)
2015	An Equation-Based Classical Logic	WoLLIC 2015 Indiana University (Bloomington, United States)

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2023 - Current	Detecting SQL Vulnerabilities using FreeST Co-supervisor	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09 - Current	Pattern-Matching and Other Advanced Topics in the FreeST Programming Language Co-supervisor	Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - Current	Context-free Session Types Co-supervisor of Bernardo Almeida	Doutoramento em Informática (PhD) Universidade de Lisboa Faculdade de Ciências, Portugal
2022 - 2024	Subtyping Context-free Session Types Co-supervisor	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09 - 2022	SmartScribble, a protocol language for Plutus smart contracts Supervisor	Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - 2022	Shared channels on context-free session types Co-supervisor	Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09/01 - 2021/10	SmartScribble: Safer Smart Contracts Supervisor	Master Degree in Informatics Engineering (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020	Managing data privacy at the backend Supervisor of Rui Peixoto	Master Degree in Software Engineering (Master) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019	Smart tourism: data privacy and data analysis Supervisor of Bruno Silva	Master Degree in Software Engineering (Master) Universidade de Lisboa Faculdade de Ciências, Portugal

Event organisation

	Event name Type of event (Role)	Institution / Organization
2024/01 - 2024/04	Student Volunteer Co-Chair at ICSE 2024 (2024/04 - 2024/04) Conference (Member of the Organising Committee)
2016 - 2016	Volunteer at the 29th IEEE Computer Security Foundations Symposium, CSF 2016 (2016/06 - 2016/06) Conference (Co-organisor)
2016 - 2016	Organizer of the Student-Evaluators Training for the the Portuguese Agency for Assess- ment and Accreditation of Higher Education (A3ES) (2016 - 2016) Workshop (Co-organisor)	Agência de Avaliação e Acreditação do Ensino Superior (A3ES), Portugal

Event participation

	Activity description Type of event	Event name Institution / Organization
2019/11 - 2019/11	Invited participant at the Final Hackathon of ASGARD European Project Other	Final Hackathon of ASGARD European Project Europol, Netherlands
2019 - 2019	VMCAI 2019 Winter School Conference	VMCAI 2019 Winter School Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019	POPL 2019 Conference	POPL 2019 Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - 2019	ETAPS 2019 Conference	ETAPS 2019
2019 - 2019	SAT/SMT/AR Summer School 2019 Conference	SAT/SMT/AR Summer School 2019 Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017	Workshop “Policing the Dark Web” Conference	Workshop “Policing the Dark Web”
2016 - 2016	Training Event 3, EIQAS Project Workshop	Participação no T raining Event 3 do Projeto EIQAS
2016 - 2016	Computer Security Foundations Symposium (CSF 2016) Conference	CSF 2016
2015 - 2015	Training Event 2, EIQAS Project Workshop	T raining Event 2 do Projeto EIQAS
2014 - 2014	Conference “Cybersecurity: Technological Issues and Legal Implications” Conference	Cybersecurity: Technological Issues and Legal Implications
2013 - 2013	Midlands Graduate School 2013 Conference	Midlands Graduate School University of Leicester, United Kingdom
2013 - 2013	Logic Colloquium 2013 Conference	Logic Colloquium
2013 - 2013	Student-Evaluators Training for the the Portuguese Agency for Assessment and Accreditation of Higher Education (A3ES) Workshop	Formação de Estudantes Avaliadores das Comissões de Avaliação Externa do Ensino Superior, A3ES
2012 - 2012	European Summer School in Logic, Language and Information (ESSLLI 2012) Conference	ESSLLI 2012

Jury of academic degree

	Topic Role	Candidate name (Type of degree) Institution / Organization
2024/02/23	A Geographical-Aware State Deployment Service for Fog Computing Thesis Member	Diogo Lima (PhD) Universidade de Lisboa, Portugal
2022/02/28	Generics in Go language (Thesis) Main arguer	João Pereira (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/11/13	Data analysis for transport planning (Thesis) Main arguer	Gonçalo Domingos (Master) Universidade de Lisboa Faculdade de Ciências, Portugal

Association member

	Society Organization name	Role
2019/09 - Current	American Mathematical Society	Reviewer at Mathematical Reviews from American Mathematical Society

Committee member

	Activity description Role	Institution / Organization
2018/10 - Current	Member of the Scientific Board of LASIGE Member	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018/10 - Current	Member of the Department Council of Department of Informatics, Faculty of Sciences, Universidade de Lisboa Member	Universidade de Lisboa Faculdade de Ciências, Portugal
2022/11 - 2023/04	Member of the Programme Committee of the 12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, PLACES 2023 Member
2020/01 - 2022/01	Member of the Executive Commission of the LASIGE research unit	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019/10 - 2020/03	Public Relations Committee, Department of Informatics, Faculdade de Ciências, Universidade de Lisboa Member	Universidade de Lisboa Faculdade de Ciências, Portugal
2019/11 - 2020	Member of the Programme Committee of the 12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, PLACES 2020 Member
2019/10 - 2019/12/31	Member of the Stakeholders Advisory Board of ASGARD European project

Conference scientific committee

	Conference name	Conference host
2023 - 2023	PLACES 2023: Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software
2020/02 - 2020/02	PLACES 2020: Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software	Dublin, Ireland
2020 - 2020	IPMU: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems.
2019 - 2019	ESOP 2020: European Symposium on Programming	Dublin, Ireland

Course / Discipline taught

	Academic session	Degree Subject (Type)	Institution / Organization
2020/02 - Current	Fundamentals of Computation 2019/20	(Mestrado)	Universidade de Lisboa Faculdade de Ciências, Portugal
2023/02 - 2023/07	Domain-Specific Languages 2022/23	(Mestrado)	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2023/02 - 2023/04	Object Oriented Development 2022/23	(Licenciatura)	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2022/02 - 2022/07	Domain-Specific Languages 2021/22	(Mestrado)	Universidade de Lisboa Faculdade de Ciências, Portugal
2022/02 - 2022/07	Object Oriented Development 2021/22	(Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2022/02 - 2022/04	Domain-Specific Languages 2022/23	(Mestrado)	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09 - 2022/01	Introduction to Programming 2021/22	(Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2021/02/08 - 2021/07/30	Domain-Specific Languages 2020/21	Domain-Specific Languages (Mestrado)	Universidade de Lisboa Faculdade de Ciências, Portugal
2021/02/08 - 2021/06/20	Object Oriented Development 2020/21	Object Oriented Development (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2020/10/01 - 2021/01/31	Introduction to Programming 2020/21	Introduction to Programming (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09/10 - 2021/01/31	Theory of Computation 2020/21	Theory of Computation (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2020/02 - 2020/07	Object Oriented Development 2019/20	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09 - 2020/02	Introduction to Programming 2019/20	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09 - 2020/02	Theory of Computation 2019/20	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2019/02 - 2019/07	Algorithms and Data Structures 2018/19	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2019/02 - 2019/07	Object Oriented Development 2018/19	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2018/09 - 2019/02	Theory of Computation 2018/19	BSc Informatics Engineering (Licenciatura)	Universidade de Lisboa Faculdade de Ciências, Portugal
2018/09 - 2019/02	Introduction to Programming 2018/19	BSc Informatics Engineering (Licenciatura)
2016/02 - 2016/07	Discrete Mathematics 2015/16	BSc Computer Science and Engineering (Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2016/02	Elements of Programming 2015/16	(Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/02 - 2014/07	Discrete Mathematics 2014/15	(Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/10 - 2014/02	Computation and Programming 2013/14	(Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/02 - 2013/07	Discrete Mathematics 2012/13	(Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/09 - 2013/02	Computation and Programming 2012/13	(Licenciatura)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Evaluation committee

	Activity description Role	Institution / Organization	Funding entity
2015 - 2015	Member of the External Evaluation Panel (CAE) for the assessment and accreditation of several degrees Evaluator	Universidade de Lisboa Faculdade de Ciências, Portugal	Agência de Avaliação e Acreditação do Ensino Superior (A3ES)
2014 - 2014	Member of the External Evaluation Panel (CAE) for the assessment and accreditation of several degrees Evaluator	Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal	Agência de Avaliação e Acreditação do Ensino Superior (A3ES)
2014 - 2014	Member of the External Evaluation Panel (CAE) for the assessment and accreditation of several degrees Evaluator	Universidade de Évora Escola de Ciências e Tecnologia, Portugal	Agência de Avaliação e Acreditação do Ensino Superior (A3ES)

Interview (newspaper / magazine)

	Activity description	Newspaper / Forum
2019/12/16	Interview about my visit to Carnegie Mellon University	Agência Lusa

Mentoring / Tutoring

	Topic	Student name
2023 - 2023	Applications of FreeST in Information Security	António Silvestre
2023 - 2023	Applications of FreeST in Information Security	Diogo Ferreira
2017 - 2018	Cyber-Physical Impact Assessment Model:	Nuno Deus
2017 - 2018	Malware Detection via Machine Learning:	João Godinho

Other jury / evaluation

	Activity description	Institution / Organization
2021/02 - 2021/02	President of the jury for an Integration into Research Grant	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/12 - 2020/12	Member of the jury for a Science Manager for the SATO project	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/07 - 2020/07	Member of the jury for two Science Managers for the LASIGE research unit	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Distinctions

Award

2024	Distinguished paper award at POPL 2024 Association for Computing Machinery, United States
2011	Grant in the scope of Programa de Estímulo à Investigação Fundação Calouste Gulbenkian, Portugal
2009	Merit Scholarship in 2008/2009 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008	Merit Scholarship in 2007/2008 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007	Merit Grant in the scope of the Program "Novos Talentos em Matemática" Fundação Calouste Gulbenkian, Portugal
2006	Merit Grant in the scope of the Program "Novos Talentos em Matemática" Fundação Calouste Gulbenkian, Portugal

Other distinction

2019	Diploma of Pedagogical Excellence Universidade de Lisboa Faculdade de Ciências, Portugal
2019	Selected for the Visiting Faculty and Researchers Program at Carnegie Mellon University CMU - Portugal, Portugal
2016	Diploma of Pedagogical Excellence Universidade de Lisboa Instituto Superior Técnico, Portugal
2015	Diploma of Pedagogical Excellence Universidade de Lisboa Instituto Superior Técnico, Portugal
2010	Merit Diploma Universidade de Lisboa Instituto Superior Técnico, Portugal