SEAMS 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 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

ICSE 2024-profile
View general profile