PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Margarida Ferreira

Registered user since Wed 18 May 2022

Name:Margarida Ferreira
Country:United States
Affiliation:Carnegie Mellon University; INESC-ID; Instituto Superior Técnico - University of Lisbon
Research interests:Program Synthesis, Automated Reasoning

Contributions

Show activities from other conferences

Using general profile