CAIN 2024
Sun 14 - Mon 15 April 2024 Lisbon, Portugal
co-located with ICSE 2024
ICSE 2024 (series) / CAIN 2024 (series) / Pedro Orvalho
Pedro Orvalho

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

Show activities from other conferences

ICSE 2024-profile
View general profile