+91 (22) 2576 7771

S. Akshay

Associate Professor, Department of Computer Science and Engineering, IIT Bombay


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 Areas

  • Formal reasoning, modeling and analysis of computing systems
  • Theoretical computer science
  • Applications of formal methods to Systems biology and AI
  • Courses Taught

  • Foundations of Verification and Automated Reasoning – PG Elective
  • Automata Theory and Computability (also called Theory of Computation) – Core CSE course
  • Special Topics in Concurrency- PG Elective at Dept of CSE, IIT Delhi
  • Probabilistic models and model checking – PG Elective
  • Discrete Structures – Core CSE Course and Minor
  • Honours and Awards

  • Recipient of the DST Innovation in Science Pursuit for Inspired Research (INSPIRE) faculty award and research grant by Department of Science and Technology, India
  • Invited Professorship at University of Rennes 1, Rennes, France in Summer 2014
  • Detailed Profile

    Please visit here for his publications and detailed profile.