S. Akshay
Associate Professor, Department of Computer Science and Engineering, IIT Bombay
·
Associate Faculty
S. Akshay is an Associate Professor in the Department of Computer Science and Engineering at IIT Bombay. He joined IIT Bombay as an Assistant professor in 2013, before which he completed two postdocs, at National University of Singapore and IRISA Rennes, France. Prior to this he completed his PhD in 2010 jointly from Ecole Normale Superieure de Cachan, France (now part of Univ Paris-Saclay) and Chennai Mathematical Institute, India.
His research interests are primarily in theoretical computer science and formal methods for computing systems. His past research has focussed on mathematical reasoning, modeling and analysis for timed, distributed and probabilistic systems. Of late he has been interested in applying such techniques to analyze and explain systems coming from biological pathways as well as AI-based systems.
Research Interests
Formal reasoningmodeling and analysis of computing systemsTheoretical computer scienceApplications of formal methods to Systems biology and AI
Education
Publications
Projects