I am currently a Software Engineer at SISCOG, in the Department of Innovation.
I obtained an MSc in Information Systems and Computer Engineering from IST - Universidade de Lisboa in 2012, focussing on intelligent systems, and information technology. Then, I worked in the private sector for some years, as a software developer. There, I participated in several projects, developing, for example, geographical information systems web services, and thematic websites. 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 2016 to 2023, I was a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. Since 2017, I have been a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science, in the courses of Introduction to Algorithms and Data Structures, Analysis and Synthesis of Algorithms, Natural Language, Algorithms for Computational Logic, and Artificial Intelligence, being awarded IST Excellent Teachers 2018/2019, IST Excellent Teachers 2019/2020, IST Excellent Teachers 2020/2021, and IST Excellent Teachers 2022/2023.
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.
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
Software developer in several projects, including the development of web services, and thematic websites.