Pedro Orvalho
Pedro Miguel Orvalho Marques da Silva
Interests
Artificial Intelligence, Automated Reasoning, Formal Methods, Automated Verification, Program Repair, Computer-aided Education and Machine Learning.
Biography
I am a Research Associate at the University of Oxford, collaborating with Professor Marta Kwiatkowska on the FUN2MODEL ERC project.
Currently, I am in the final stages of my Ph.D. in Computer Science, awaiting my thesis defense at Instituto Superior Técnico (IST), Universidade de Lisboa (UL). My doctoral research was conducted in collaboration with the Czech Technical University (CTU) in Prague, hosted at INESC-ID, IST in Lisbon, and CIIRC, CTU in Prague. I had the privilege of being advised by Vasco Manquinho at INESC-ID and Mikoláš Janota at CIIRC. Additionally, I was a Junior Researcher in the Automated Reasoning and Software Reliability (ARSR) group at INESC-ID. For five years, I contributed to teaching as an Invited Teaching Assistant for the Computer Science Department at IST-UL.
My academic background includes a BSc and MSc in Information Systems and Computer Engineering from IST-UL. During the final year of my MSc, I worked as a Research Assistant at Carnegie Mellon University (CMU), collaborating with Ruben Martins. I also gained industry experience as a Research Intern at OutSystems, a leading Portuguese software company.