I am a postdoc at Massachusetts Institute of Technology. Before that, I was a grad student at MIT, and even before that I was an undergraduate at the Indian Institute of Technology, Madras. Madras (now renamed Chennai) is also the city I grew up in.
I am interested in formal verification of distributed systems and hardware systems using proof assistants, high-level languages which combine verification and design, and computer architecture. I work closely with Adam Chlipala and Arvind, and I work in CSAIL. I work on formal hardware verification using Coq.
Arvind Nirav Dave Asif Khan Silas Boyd-Wickizer Michael Pellauer Michael Adler Joel Emer Alfred Man Cheuk Ng Abhinav Agarwal Kermin Elliott Fleming Jamey Hicks Myron King Gopal Raghavan Adam Chlipala Michal Karczmarek
Computer Science and Artificial Intelligence Lab
The Stata Center
Massachusetts Institute of Technology
32 Vassar Street, 32-G822
Cambridge, MA 02139

Email: {first_character_of_my_last_name}{first_six_characters_of_my_first_name} at csail dot mit dot edu