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.

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.

Feel free to visit my personal webpage for more information.