conf.researchr.org / Pedro Orvalho
Registered user since Mon 24 Oct 2022
Name:Pedro Orvalho
Country:United Kingdom
Affiliation:Department of Engineering Science, University of Oxford
Personal website: https://cs.ox.ac.uk/people/pedro.orvalho/
GitHub: https://github.com/pmorvalho
Research interests:Program Repair, Verification, Automated Reasoning, Formal Methods, Artificial Intelligence
Contributions