Biography
I am currently an Invited Assistant Professor at the Faculty of Sciences of the University of Lisbon and a researcher at LASIGE.
From 2024 to 2025, I was a Software Engineer at SISCOG, in the Department of Innovation, applying Boolean Satisfiability to the generation of non-periodic train schedules.
From 2023 to 2024, I was a Research Associate at the Department of Computer Science of the University of Oxford in the Logic and Learning (LOL) group, in the field of Inductive Logic Programming.
From 2016 to 2023, I was a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. I participated in the CMU Portugal project GOLEM in partnership with OutSystems, INESC-ID, and FCT NOVA.
From 2017 to 2023, I was teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science and Engineering, in several courses of the areas of algorithms, and artificial intelligence, being awarded IST Excellent Teacher for four years.
In 2021, I obtained a Ph.D. in Computer Science and Engineering from IST - Universidade de Lisboa, being approved with distinction. During my Ph.D., I was awarded with a doctoral grant from Fundação para a Ciência e Tecnologia (FCT). My Ph.D work focused on the application of logic-based approaches and algorithms to revise Boolean logical models of biological regulatory networks.
From 2013 to 2015, I worked in the private sector, at SAPO, as a software developer. There, I participated in several projects, developing, for example, geographical information systems web services, and thematic websites.
- Artificial Intelligence
- Computational Logic
- Automated Reasoning
- Program Synthesis
- Machine Learning
- Algorithms
- Model Revision
- Computational Biology
- Logical Modeling
- Natural Language Processing
- Inductive Logic Programming
- Optimization
PhD in Computer Science and Engineering, 2021
Instituto Superior Técnico, Universidade de Lisboa
MSc in Information Systems and Computer Engineering, 2012
Instituto Superior Técnico, Universidade de Lisboa
BSc in Information Systems and Computer Engineering, 2010
Instituto Superior Técnico, Universidade de Lisboa
Recent Publications
Experience
- Introduction to Programming (Fall 2025/2026)
- Artificial Intelligence (Spring 2022/2023 - 4th Quarter)
- Analysis and Synthesis of Algorithms (Fall 2022/2023 - 2nd Quarter)
- Algorithms for Computational Logic (Fall 2022/2023 - 1st Quarter)
- Natural Language (Fall 2020/2021)
- Analysis and Synthesis of Algorithms (Spring 2019/2020)
- Natural Language (Fall 2019/2020)
- Analysis and Synthesis of Algorithms (Spring 2018/2019)
- Analysis and Synthesis of Algorithms (Spring 2017/2018)
- Introduction to Algorithms and Data Structures (Spring 2016/2017)
Software developer in several projects, including the development of web services, and thematic websites.
- C#.NET
- Java
- JavaScript
- PHP