S Akshay

S Akshay

akshayss [AT] cse.iitb.ac.in
+91 (0) 22 2576 7771
Rm no. 507, 5th floor, New CSE Building, Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Powai, Mumbai - 400076, Maharashtra, India.

S Akshay

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

Bio

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.