Welcome to my web page! I am a PhD student working with Prof. Ed Clarke at Carnegie Mellon University. I am primarily interested in formal verification of software and hardware systems. I am also interested in theorem proving, and decision procedure research. See below for more information.
I grew up in the hot and dry city of Hyderabad in India. I went to IIT-Madras (aka IIT-Chennai) to do my under-graduate studies in Computer Science (B.Tech 2000). After that I joined the Computer Science Department at CMU to pursue my Ph.D. See my resume for more details.
During the course of my graduate studies I have worked or am working on the following topics: Hardware Verification, Parameterized Verification, decision procedures for Difference Logic, and verification of Real time Systems. See my research page for more details. Here are my publications.
Besides these topics, I am also interested in theorem proving, static analysis, distributed computing, and algorithms. Outside of standard computer science topics, I am interested in the effects of cheap and pervasive computing on society, although I have not gotten a chance to spend much time on this topic.
When not thinking about formal verification, I wonder why no trace of extra-terrestrial intelligence has been found yet. Here is a good book that deals with this topic. Here is another better book on the same topic. If you are interested in reading folk tales, fables etc here is a good resource on the web. I also like reading Scientific American and New Scientist.
Last ditch effort to improve your paper
How to wake up a person pretending to be asleep