Pedro Orvalho

Dr Pedro Orvalho

Research Associate

Leaving date: 30th September 2025

Interests

Artificial Intelligence, Automated Reasoning, Formal Methods, Neuro-symbolic AI, Agentic AI, Automated Verification, Machine Learning, AI4SE, AI4Code, Sofware Engineering, Automated Program Repair, Fault Localisation, Model-Based Diagnosis, Program Synthesis, and Computer-aided Education.

Biography

I was a Postdoctoral Research Associate at the University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project.

After my time at Oxford, I joined the Artificial Intelligence Research Centre (IIIA), Spanish National Research Council (CSIC), in Barcelona, Spain, as a Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellow.

For the most up-to-date information, feel free to visit my personal webpage, as well as my dblp and Google Scholar profiles!