ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
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

ICSE 2024-profile
View general profile