I’m a recent Computer Science and Mathematics graduate (May 2009) from the University of Texas at Austin. I will be starting my PhD at Cornell in Fall 2010. My research interests include formal verification, programming languages and distributed computing. You can read about some of the research I’ve done from my research page.

If you’re interested, here is my resume. Warning: it may be out of date!