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.

[pdf]

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

Address:
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