Hi and welcome ! Its about time I did some work on my webpage. There is still a lot to be done, for now this is just a bunch of info ...
I am a third year PhD student in the Computer Science Department at Carnegie Mellon University. I was born and brought up in Delhi, where I went to J.D. Tytler School and then to Delhi Public School, RKP. I received a B.Tech in Computer Science and Engineering from the Indian Institite of Technology, Delhi.
My research area is Formal Methods and my research advisor is Edmund Clarke. My other interests include playing squash, listening to music and doing anything I haven't done before.