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, with a particular emphasis on the former.
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(NOTE: I’m unlikely to be able to take summer interns for Summer 2023, as of Dec 2022. Please reach out again in the Spring, as circumstances may change).
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
MIT
MS in Computer Science, 2016
Courant Institute of Mathematical Sciences (NYU)
BA in Economics, 2011
University of Pennsylvania
A somewhat recent version…