I am a Ph.D. candidate at Georgia Institute of Technology, College of Computing. I have been working with Prof. Yannis Smaragdakis since fall of 2003.

My research interest lies in developing expressive and safe programming language features. I want programmers to write less code, which means programs need to be highly expressive and generic. At the same time, I want these programs to have high level compile-time safety guarantees. That involves powerful type systems. Finding the envelope of expressiveness and safety in language design is the focus of my work.

For more detailed information on my work, see my publications

Contact:

News

Wedding!

Our wedding website is now up and running. Check here for details.

ECOOP 2008

The paper on the Liquid Metal programming system that I co-authored with Amir Hormati, David Bacon, and Rodric Rabbah, has been accepted to ECCOOP 2008. We are currently working on the camera-ready version. I'm really looking forward to going to Cyprus!

PLDI 2008

Our latest and greatest work has been accepted to PLDI 2008, to be held in Tuscon, AZ, in June 2008. Here is the camera-ready copy of the paper.

We are Engaged!

On September 4, 2007, I became engaged to one of the smartest, and by far the sweetest man I've ever met. I can't possibly be happier. We are now planning a September 2008 wedding.