I am a third year graduate student at CSAIL, MIT advised by Armando Solar-Lezama. I am working on building scalable systems that can automatically generate reasonable programs from simple and intuitive specifications. For more information on my research, visit my Research page.
For all other practical purposes, I am a geek (A proud one :)) who loves trying out adventurous stuff and meeting new people. Recently, I have started learning the Russian language and hope to put it to good use soon.