Me, right now...PhD Candidate
Mail: The University of Texas at Austin
Earlier...M.S., Electrical Engineering, The University of Texas at Austin
B.E., Electronics Engineering, Mumbai University
My research interests lie in the application of formal methods like automata theory, abstract interpretation, model-checking and static analyses to the specification, verification, repair and synthesis of software systems. My current research focuses on the automatic repair and synthesis of programs.
While I work at increasing my count of papers in formal methods, you are most welcome to look at my publications in some current and many not-so-current research topics.
Here is a list of my other interests.
Last modified on 25 June, 2012