SPLASH 2023 (series) / Marta Davila Mateu

Registered user since Wed 11 Oct 2023
Name:Marta Davila Mateu
Country:United States
Affiliation:University of Southern California
Personal website: https://www.martadavma.com/
GitHub: https://github.com/martadavma
Research interests:Formal Methods, Program Synthesis
Contributions
SPLASH 2023-profile
View general profile
View general profile