About Me: |
I am a PhD candidate in the Department of Computer Science at Cornell University, working with Hadas Kress-Gazit on the construction of provably correct controllers for robots performing high-level tasks including patrol missions and autonomous vehicle control. My interests also include game theory, cryptography and reasoning about knowledge, and I have previously worked with Joe Halpern and Rafael Pass on logical characterizations of cryptography and computational game theory. I am also affiliated with the Autonomous Systems Lab. |
Academic Credentials: |
Aug 2007 onwards: Ph.D. student at Cornell University, Ithaca, NY, USA. May 2007: B.A. (Math., Computer Science) from Wellesley College, Wellesley, MA, USA. May 2003: International Baccalaureate (IB) Diploma from the Mahindra United World College of India, Pune, India. My Curriculum Vitae |
| Last updated May 22, 2012 |