
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
Personal website: https://marghrid.github.io
GitHub: https://github.com/marghrid
Research interests:Program Synthesis, Automated Reasoning
Contributions
PLDI 2025-profile
View general profile
View general profile