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
Using general profile