I’m a senior researcher on the PROSE team at Microsoft, where we develop state-of-the-art program synthesis technologies to make software development more accessible, productive, and fun. My current line of work focuses on using neurosymbolic techniques for applications ranging from program repair to programming by example.
Some of our recent work at PROSE includes:
If you’re a PhD student in a related area of research (e.g. SE, PL, ML) and are interested in doing an internship with me, please reach out via email.
Before joining Microsoft, I received my PhD from MIT, under the supervision of Martin Rinard. You can find a copy of my thesis here.
I have also researched and published work on:
Before my PhD, I obtained an M.S. in Computer Science (NYU) and a B.A. in Economics (University of Pennsylvania). I have had the opportunity of working (both as an intern and full-time employee) across technology and finance companies, in a variety of roles. I’m originally from San José, Costa Rica.
PhD in Computer Science, 2016-2021
MS in Computer Science, 2016
Courant Institute of Mathematical Sciences (NYU)
BA in Economics, 2011
University of Pennsylvania
A somewhat recent version…