Biography

I am a Computer Science PhD student at Instituto Superior Técnico and a Junior Researcher at INESC-ID, Lisbon. My advisors are Professor Vasco Manquinho at IST and Professor Mikoláš Janota at CIIRC, Czech Technical University in Prague.

I concluded my BSc and MSc in Information Systems and Computer Engineering at Instituto Superior Técnico, University of Lisbon. My research interests include Artificial Intelligence, Automated Reasoning, Program Repair, but also Program Synthesis, Formal Methods, Machine Learning.

During the final year of my MSc, I worked as a Student Intern at OutSystems. My MSc thesis was supervised by Professor Vasco Manquinho from IST and Miguel Ventura from OutSystems. During the same period, I was also a Research Assistant at Carnegie Mellon University, USA, where I worked with Professor Ruben Martins.