SIGCSE Virtual 2024
Thu 5 - Sun 8 December 2024
Pedro Orvalho

Registered user since Mon 24 Oct 2022

Name:Pedro Orvalho
Country:Portugal
Affiliation:INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Research interests:Program Repair, Program Synthesis, Automated Reasoning, Formal Methods, Artificial Intelligence

Contributions

Show activities from other conferences

Using general profile