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

Curriculum Vitae

Andreia Filipa Torcarto Mordido Rodrigues

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.

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Andreia Filipa Torcarto Mordido Rodrigues

Identificadores de autor

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

Moradas

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

Websites

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

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Formação

	Grau	Classificação
2017 Concluído	Ph.D. Information Security (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal "A probabilistic logic over equations and domain restrictions" (TESE/DISSERTAÇÃO)	Pass with Distinction
2011 Concluído	M.Sc. Mathematics and Applications (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal "Dynamic probabilistic epistemic logic - towards information security" (TESE/DISSERTAÇÃO)	17/20
2009 Concluído	B.Sc. Mathematics (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal "n/a" (TESE/DISSERTAÇÃO)	18/20

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2018/11/01 - Atual	Investigador principal (carreira) (Investigação)	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

2019/08 - 2019/10	Investigador visitante (Investigação)	Carnegie Mellon University, Estados Unidos
	Carnegie Mellon University, Estados Unidos
2016/12/01 - 2018/07/31	Investigador (Investigação)	INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal
	INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal
2011/01/01 - 2016/11/30	Investigador (Investigação)	Instituto de Telecomunicações, Portugal

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

2008/12/01 - 2009/11/30	Estagiário de Investigação (Investigação)	Universidade Nova Centro de Matemática e Aplicações, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2020/10 - Atual	Professor Auxiliar (Docente Universitário)	Universidade de Lisboa Faculdade de Ciências, Portugal

2018/09/03 - 2020/10	Professor Auxiliar Convidado (Docente Universitário)	Universidade de Lisboa Faculdade de Ciências, Portugal

2012/09/01 - 2016/07/31	Assistente (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

	Categoria Profissional Instituição de acolhimento	Empregador
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

Projetos

Bolsa

	Designação	Financiadores
2011/01 - 2015	Doctoral Grant SFRH/BD/77648/2011 Bolseiro de Doutoramento	Fundação para a Ciência e a Tecnologia Concluído

Projeto

	Designação	Financiadores
2018 - 2019	Confident - Communication Contracts for Distributed Systems Development PTDC/EEI-CTP/4503/2014 Investigador 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 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal
2018 - 2018	SATIE - Security of Air Transport Infrastructures grant agreement 832969 Investigador INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Em curso
2018 - 2018	EUNOMIA - User-Oriented, Secure, Trustful and Decentralized Social Media grant agreement 825171 Investigador INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Em curso
2018 - 2018	SPARTA - Strategic Programs for Advanced Research and Technology in Europe grant agreement 830892 Investigador INOV INESC INOVAÇÃO - Instituto de Novas Tecnologias, Portugal	European Union Em curso
2016 - 2018	DOGANA - Advances social engineering and vulnerability assessment framework grant agreement 653618 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal	Concluído
2016 - 2018	ASGARD - Analysis system for gathered raw data grant agreement 700381 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal
2016 - 2017	ECOSSIAN - European COntrol System Security Incident Analysis Network grant agreement 607577 Investigador Instituto de Engenharia de Sistemas e Computadores, Portugal
2011 - 2014	ComFormCrypt - Computational Semantics of Formal Methods in Cryptography PTDC/EIA-CCO/113033/2009 Investigador Instituto de Telecomunicações, Portugal
2011 - 2011	Co-evolution and self-organization of cooperation PTDC/FIS/101248/2008 Bolseiro de Investigação Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Outro

	Designação	Financiadores
2021/03/01 - Atual	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 Em curso

Produções

Publicações

Artigo em conferência	SILVESTRE, ANTÓNIO; Medeiros, Ibéria; Andreia Mordido. "Towards a SQL Injection Vulnerability Detector Based on Session Types". Trabalho apresentado em 19th Internation Conference on Evaluation of Novel Approaches to Software Engineering, 2024. Aceite para publicação Henry DeYoung; Andreia Mordido; Frank Pfenning; Ankush Das. "Parametric Subtyping for Structural Parametric Polymorphism". Trabalho apresentado em 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), 2024. Publicado Gil Silva; Andreia Mordido; Vasco T. Vasconcelos. "Subtyping Context-Free Session Types". Trabalho apresentado em 34th International Conference on Concurrency Theory (CONCUR 2023), 2023. Publicado Andreia Mordido; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.. "Parameterized Algebraic Protocols". Trabalho apresentado em 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), 2023. Publicado • 10.1145/3591277 Bernardo Almeida; Mordido, Andreia; Vasco T. Vasconcelos. Autor correspondente: Bernardo Almeida. "Kind Inference for the FreeST Programming Language". Trabalho apresentado em 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Paris, 2023. Publicado Poças, Diogo; Diana Costa; Andreia Mordido; Vasco T. Vasconcelos. "System F-mu-omega with Context-free Session Types". Trabalho apresentado em 32nd European Symposium on Programming, ESOP 2023, 2023. Publicado Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning. "Polarized Subtyping". Trabalho apresentado em ESOP 2022, 2022. Aceite para publicação Diana Costa; Mordido, Andreia; Poças, Diogo; Vasco Vasconcelos. "Higher-order Context-free Session Types in System F". Trabalho apresentado em PLACES 2022: Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, 2022. Aceite para publicação Costa, Diana; Mordido, Andreia; Poças, Diogo; T. Vasconcelos, Vasco. "Polymorphic Higher-Order Context-Free Session Types". Trabalho apresentado em Polymorphic Higher-Order Context-Free Session Types, 2022. Aceite para publicação Afonso Falcão; Andreia Mordido; Vasco Vasconcelos. "Protocol-based smart contract generation". Trabalho apresentado em WTSC Workshop on Trusted Smart Contracts, 2022. Aceite para publicação Ankush Das; Henry DeYoung; Mordido, Andreia; Frank Pfenning. "Nested Session Types". Trabalho apresentado em European Symposium on Programming, ESOP 2021, 2021. Publicado Bernardo Almeida; Mordido, Andreia; Vasconcelos, Vasco T. "Deciding the bisimilarity of context-free session types". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em IJCAI, 2017. 10.24963/ijcai.2017/126 Mordido, Andreia; Prof. Dr. Carlos Manuel Costa Lourenço Caleiro. "An Equation-Based Classical Logic". Trabalho apresentado em WoLLIC2015: International Workshop on Logic, Language, Information, and Computation, 2015. Publicado • 10.1007/978-3-662-47709-0_4
Artigo em revista	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): Publicado 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. Acesso aberto • 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
Poster em conferência	Andreia Mordido. "Bisimilarity of Context-Free Session Types". Trabalho apresentado em ETAPS 2019, 2019.
Tese / Dissertação	Mordido, Andreia. "A probabilistic logic over equations and domain restrictions". Doutoramento, 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". Mestrado, Universidade de Lisboa Instituto Superior Técnico, 2011.

Outros

Outra produção

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.

Atividades

Apresentação oral de trabalho

	Título da apresentação	Nome do evento Anfitrião (Local do evento)
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, Estados Unidos)
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, Estados Unidos)

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2023 - Atual	Detecting SQL Vulnerabilities using FreeST Coorientador	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09 - Atual	Pattern-Matching and Other Advanced Topics in the FreeST Programming Language Coorientador	Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - Atual	Context-free Session Types Coorientador de Bernardo Almeida	Doutoramento em Informática (Doutoramento) Universidade de Lisboa Faculdade de Ciências, Portugal
2022 - 2024	Subtyping Context-free Session Types Coorientador	Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
2021/09 - 2022	SmartScribble, a protocol language for Plutus smart contracts Orientador	Universidade de Lisboa Faculdade de Ciências, Portugal
2021/09 - 2022	Shared channels on context-free session types Coorientador	Universidade de Lisboa Faculdade de Ciências, Portugal
2020/09/01 - 2021/10	SmartScribble: Safer Smart Contracts Orientador	Master Degree in Informatics Engineering (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2020	Managing data privacy at the backend Orientador de Rui Peixoto	Master Degree in Software Engineering (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019	Smart tourism: data privacy and data analysis Orientador de Bruno Silva	Master Degree in Software Engineering (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2024/01 - 2024/04	Student Volunteer Co-Chair at ICSE 2024 (2024/04 - 2024/04) Conferência (Membro da Comissão Organizadora)
2016 - 2016	Volunteer at the 29th IEEE Computer Security Foundations Symposium, CSF 2016 (2016/06 - 2016/06) Conferência (Coorganizador)
2016 - 2016	Organizer of the Student-Evaluators Training for the the Portuguese Agency for Assess- ment and Accreditation of Higher Education (A3ES) (2016 - 2016) Oficina (workshop) (Coorganizador)	Agência de Avaliação e Acreditação do Ensino Superior (A3ES), Portugal

Participação em evento

	Descrição da atividade Tipo de evento	Nome do evento Instituição / Organização
2019/11 - 2019/11	Invited participant at the Final Hackathon of ASGARD European Project Outro	Final Hackathon of ASGARD European Project Europol, Países Baixos
2019 - 2019	VMCAI 2019 Winter School Conferência	VMCAI 2019 Winter School Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019	POPL 2019 Conferência	POPL 2019 Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019 - 2019	ETAPS 2019 Conferência	ETAPS 2019
2019 - 2019	SAT/SMT/AR Summer School 2019 Conferência	SAT/SMT/AR Summer School 2019 Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017	Workshop “Policing the Dark Web” Conferência	Workshop “Policing the Dark Web”
2016 - 2016	Training Event 3, EIQAS Project Oficina (workshop)	Participação no T raining Event 3 do Projeto EIQAS
2016 - 2016	Computer Security Foundations Symposium (CSF 2016) Conferência	CSF 2016
2015 - 2015	Training Event 2, EIQAS Project Oficina (workshop)	T raining Event 2 do Projeto EIQAS
2014 - 2014	Conference “Cybersecurity: Technological Issues and Legal Implications” Conferência	Cybersecurity: Technological Issues and Legal Implications
2013 - 2013	Midlands Graduate School 2013 Conferência	Midlands Graduate School University of Leicester, Reino Unido
2013 - 2013	Logic Colloquium 2013 Conferência	Logic Colloquium
2013 - 2013	Student-Evaluators Training for the the Portuguese Agency for Assessment and Accreditation of Higher Education (A3ES) Oficina (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) Conferência	ESSLLI 2012

Júri de grau académico

	Tema Tipo de participação	Nome do candidato (Tipo de grau) Instituição / Organização
2024/02/23	A Geographical-Aware State Deployment Service for Fog Computing Vogal	Diogo Lima (Doutoramento) Universidade de Lisboa, Portugal
2022/02/28	Generics in Go language Arguente principal	João Pereira (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/11/13	Data analysis for transport planning Arguente principal	Gonçalo Domingos (Mestrado) Universidade de Lisboa Faculdade de Ciências, Portugal

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
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

Comissão de avaliação

	Descrição da atividade Tipo de assessoria	Instituição / Organização	Entidade financiadora
2015 - 2015	Member of the External Evaluation Panel (CAE) for the assessment and accreditation of several degrees Avaliador	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 Avaliador	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 Avaliador	Universidade de Évora Escola de Ciências e Tecnologia, Portugal	Agência de Avaliação e Acreditação do Ensino Superior (A3ES)

Curso / Disciplina lecionado

	Disciplina	Curso (Tipo)	Instituição / Organização
2020/02 - Atual	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

Entrevista (jornal / revista)

	Descrição da atividade	Jornal / Forum
2019/12/16	Interview about my visit to Carnegie Mellon University	Agência Lusa

Membro de associação

	Nome da associação	Tipo de participação
2019/09 - Atual	American Mathematical Society	Reviewer at Mathematical Reviews from American Mathematical Society

Membro de comissão

	Descrição da atividade Tipo de participação	Instituição / Organização
2018/10 - Atual	Member of the Scientific Board of LASIGE Membro	Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2018/10 - Atual	Member of the Department Council of Department of Informatics, Faculty of Sciences, Universidade de Lisboa Membro	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 Membro
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 Membro	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 Membro
2019/10 - 2019/12/31	Member of the Stakeholders Advisory Board of ASGARD European project

Outro júri / avaliação

	Descrição da atividade	Instituição / Organização
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

Tutoria

	Tópico	Nome do aluno
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

Distinções

Prémio

2024	Distinguished paper award at POPL 2024 Association for Computing Machinery, Estados Unidos
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

Outra distinção

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