Pedro Orvalho

Mr Pedro Orvalho

Research Associate

Room 450, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

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, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project.

I hold a Ph.D. in Computer Science from 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.

Feel free to visit my personal webpage for more information.