Contact information
Research interests
I am interested in
- -- probabilistic verification - with applications to systems biology;
- -- modeling and verification of timed and distributed systems.
Academic Background
- In 2011, completed a one year postdoctoral fellowship in Prof. P.S. Thiagarajan's group at the National University of Singapore.
- In 2010, obtained PhD from Ecole Normale Superieure de Cachan (ENS-Cachan) co-supervised by Prof. Paul Gastin of ENS-Cachan, France and Prof. Madhavan Mukund of Chennai Mathematical Institute (CMI), India.
- In 2006, obtained masters degree in Computer science after completing the Masters Parisien Recherche en Informatique (MPRI) program at ENS-Cachan in one year. In 2005, completed first year of masters as a junior research fellow at the Institute of Mathematical Sciences (IMSc), Chennai, India.
- In 2004, completed undergraduate studies and obtained degree of BSc Honors in Mathematics from Chennai Mathematical Institute (CMI), Chennai, India.
- More details can be found in my CV (pdf).