Pedro Orvalho
Dr Pedro Orvalho
Interests
Artificial Intelligence, Automated Reasoning, Formal Methods, Automated Verification, Program Repair, Computer-aided Education and Machine Learning.
Biography
I was a Postdoctoral Research Associate at the University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project.
For the latest information, visit my personal webpage, as well as my dblp and Google Scholar profiles!
Currently, I am a Postdoctoral Fellow at the Artificial Intelligence Research Centre (IIIA), Spanish National Research Council (CSIC), Barcelona, Spain.
I hold a Ph.D. in Computer Science from Instituto Superior Técnico (IST), Universidade de Lisboa (UL), completed under a European Doctorate Programme in collaboration with the Czech Technical University (CTU) in Prague, with research 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 Computer Science and 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.