I’m a recent Computer Science and Mathematics graduate (May 2009) from the University of Texas at Austin. I am currently employed by Intel here in Austin (till December 2009) working on a formal verification team. My research interests include formal verification, programming languages and distributed computing. You can read about some of the research I did as an undergraduate on my research page.

Here is my Resume.