Research Interests
Decision Procedures ; Hybrid Systems ; Static Analysis ; Symbolic Systems Biology
Honors and Awards
1. National Science Foundation (NSF) awards funding the research proposals “Symbolic techniques for analysis of hybrid systems” (2003), “Little engines of proof”
(2003), “Invariants for continuous and hybrid dynamical systems” (2007), “SMTaware real constraint solving” (2009), “Bounded verification and bounded synthesis” (2010), “Computer-aided synthesis for distributed algorithms” (2014),
and “Reinventing formal methods for cyber-physical systems” (2014).
2. National Aeronautics and Space Administration (NASA) award funding the
research proposal “Using symbolic constraint solving techniques for analyzing
stability properties of adaptive control systems” (2007).
3. Certificate of merit for academic excellence in the core curriculum at the Indian
Institute of Technology for the years 1991, 1992 and 1993.
4. Certificate of merit for being among the top 0.1% of successful candidates of All
India Senior School Certificate Examination 1991 in Mathematics and Chemistry