Computer Science PhD student at the University of Southern California, advised by Mukund Raghothaman.

​

My research interests are in Programming Languages Theory and Formal Methods. More specifically, I am interested in program synthesis, automated deduction, and automated theorem proving. I am currently researching Recursive Program Synthesis.

​

Prior to USC, I worked at the Guiana Space Center (ESA) developing and improving rocket's location software and system. Previously, I worked designing and developing the software of the satellite Meteosat. Formerly, I earned an honors B.S. in Data Science an Engineering at Maastricht University. There I was an undergraduate research assistant. 

​

In my free time I love to surf, skate and travel.