SIGCSE Virtual 2024 (series) / Pedro Orvalho
Registered user since Mon 24 Oct 2022
Name:Pedro Orvalho
Country:United Kingdom
Affiliation:Department of Computer 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
SIGCSE Virtual 2024-profile
View general profile
View general profile