S. Akshay

S. Akshay is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay. He is affiliated with the IITB Trust Lab, the Ashank Desai Centre for Policy Studies, and the Centre for Formal Design and Verification of Software Systems. His academic background includes a joint PhD from École Normale Supérieure de Cachan and Chennai Mathematical Institute (2010), postdoctoral work at IRISA/ENS Cachan Bretagne (2012) and National University of Singapore (2011), and earlier degrees from ÉNS-Cachan (2006) and Chennai Mathematical Institute (2004).

Research interests focus on formal methods, particularly verification of timed, recursive, and distributed systems; automated functional synthesis; formal modeling of probabilistic and dynamical systems; and trust certification in AI models. Applications span systems biology, cyber-physical systems, and artificial intelligence. His recent publications emphasize verification techniques for Markov chains, timed automata, and Boolean functional synthesis, with algorithmic advancements in probabilistic inference, quantifier elimination, and robustness analysis.

Professional activities include serving as Treasurer and Council Member of the Indian Association for Research in Computer Science (IARCS). He has co-chaired FSTTCS 2016 and ATVA 2024, and participated in program committees for major conferences like AAAI, CAV, and LICS. Teaching roles at IIT Bombay include courses on Discrete Structures, Formal Models of Concurrent Systems, and Quantitative Verification. Collaborative projects involve institutions such as University of Waterloo, IIT Delhi, and IRISA, Rennes.