Marta Dávila Mateu

martadavma.com [email protected]

Los Angeles, CA Computer Science PhD student at USC, advised by Mukund Raghothaman. My research interests are in Programming Languages and Formal Methods.