Registered user since Mon 24 Oct 2022
Name:Pedro Orvalho
Country:Portugal
Affiliation:INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Personal website: https://arsr.inesc-id.pt/~pmorvalho
GitHub: https://github.com/pmorvalho
Research interests:Program Repair, Program Synthesis, Automated Reasoning, Formal Methods, Artificial Intelligence
Contributions
Using general profile