top of page
>_
Marta Davila Mateu
Guest@MartaDavMa:~$ about
Computer Science PhD student at the University of Southern California, advised
and automated theorem proving. I am currently researching Recursive Program
My research interests are in Programming Languages Theory and Formal Methods.
More specifically, I am interested in program synthesis, automated deduction,
Synthesis.
Prior to USC, I worked at the Guiana Space Center (ESA) developing and
and developing the software of the satellite Meteosat. Formerly, I earned an
improving rocket's location software and system. Previously, I worked designing
was an undergraduate research assistant.
honors B.S. in Data Science an Engineering at Maastricht University. There I
In my free time I love to surf, skate and travel.
Guest@MartaDavMa:~$ ls
Guest@MartaDavMa:~$ a peek at me beyond CS
bottom of page