I am from Albuquerque, New Mexico (in the USA). As an undergraduate I attended UC Berkeley and obtained a BA in Mathematics. I received my Ph.D. from the University of New Mexico under the supervision of Prof. Deepak Kapur. I spent 2008-2012 at the Imdea Software Institute in Madrid Spain before taking my current position at Microsoft Research.
Recent Professional Activities
- PC/ERC Member: PLDI ’14, VMCAI ’13, ISMM ’13, FSE/NI ’13
- Journal Reviewer: TOPLAS