Education
Ph.D., University of Texas at Austin (1998), advisor E. Allen Emerson
M.S., University of Texas at Austin (1992)
B.Tech, Indian Institute of Technology (IIT), Madras (1990), advisor C. R. Muthukrishnan
Professional activites
Associate Editor, Formal Methods in Systems Design, 2005-Present
Honors & Awards
Invitation to special issues, CAV 2007, SAS 2016
Best Paper Awards, FORTE 2002, QRS 2016
MCD Fellowship, University of Texas at Austin, 1990-1992
National Talent Scholarship, India, 1984-1990