News!

FSTTCS 2019 will take place this year at IIT Bombay from December 10 - December 14 2019. Do consider participating!

Contact information

Mail akshayss [AT] cse.iitb.ac.in

Office Address
Rm no. 507, 5th floor, New CSE Building,
Department of Computer Science and Engineering,
Indian Institute of Technology Bombay,
Powai, Mumbai - 400076,
Maharashtra, India.

Tel. +91 (0) 22 2576 7711

Research interests

I am interested in formal modeling and verification of

-- timed and distributed systems;
-- probabilistic systems - especially those arising from applications in systems biology.

Academic Background

In 2012, completed second year of postdoc at IRISA/ENS Cachan Bretagne, Rennes, France.

In 2011, completed a one year postdoctoral fellowship at National University of Singapore.

In 2010, obtained a joint PhD degree from Ecole Normale Superieure de Cachan (ENS-Cachan) and 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.