SPLASH 2023 (series) / Marta Davila Mateu
![Marta Davila Mateu](https://2023.splashcon.org/getProfileImage/martadavilamateu/3039c538-2f77-4791-b013-26715d3b266b/small.jpg?1714000113000)
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