Pedro Orvalho

Pedro Orvalho is a Research Associate in the Department of Computer Science at the University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project. His research bridges theoretical computer science with practical applications in software engineering and programming education.

His educational background includes:

• PhD in Computer Science and Engineering (2025) from Instituto Superior Técnico, Universidade de Lisboa
• MSc in Information Systems and Computer Engineering (2019) from Instituto Superior Técnico
• BSc in Information Systems and Computer Engineering (2017) from Instituto Superior Técnico

Orvalho's research spans Artificial Intelligence, Automated Reasoning, Formal Methods, and Program Repair, with significant contributions to programming education tools. His work integrates formal methods with machine learning techniques to develop novel approaches for program verification and repair, particularly focused on introductory programming assignments.

His scientific achievements have been recognized with prestigious awards:

• Vencer o Adamastor (VoA) - 3rd Edition (2025)
• ELISE Mobility Grant (2024)
• COST Travel Grant (2022)
• Excellence in Teaching IST Awards (2021 and 2024)
• ACM SIGSOFT Distinguished Paper Award (ESEC/FSE 2021)
• FCT PhD Scholarship (2020-2024)

With five years of teaching experience at Instituto Superior Técnico, Orvalho has developed educational tools like GitSEED and MENTOR that bridge his research with practical classroom applications. His research has been supported by multiple grants including the ERC FUN2MODEL project and FCT PhD Scholarship, demonstrating both academic and practical impact.

He maintains active collaborations with researchers from Czech Technical University in Prague, Carnegie Mellon University, and industry partners like OutSystems, contributing to an international research network focused on software reliability and educational technology.