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.
Before joining Microsoft, I received my PhD from MIT, under the supervision of Martin Rinard.
You can find a copy of my thesis here. The results of my thesis research also originally appeared in:
Closely relatedly, I have recently worked on:
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…