S. Akshay
S. Akshay
Full Professor, CSE, Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay
- Joined July 2019
Names
Emails
****@cse.iitb.ac.in (Confirmed)
Personal Links
Career & Education History
Full Professor
CSE, Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay (cse.iitb.ac.in)
2024 – Present
Associate Professor
CSE, Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay (cse.iitb.ac.in)
2017 – 2024
Assistant Professor
CSE, Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay (cse.iitb.ac.in)
2013 – 2017
Postdoc
IRISA, ENS Rennes, Ecole Normale Superieure de Rennes (ens-rennes.fr)
2011 – 2012
Postdoc
NUS, National University of Singapore (nus.edu.sg)
2010 – 2011
PhD student
ENS Cachan, Ecole Normale Supérieure de Cachan (ens-cachan.fr)
2006 – 2010
Advisors, Relations & Conflicts
Expertise
Markov decision processes
Present
trustworthy RL
Present
Neural network verification
Present
Functional synthesis
Present
Safety and reach-avoidance
Present
pushdown automata
Present
Skolem functions
Present
Petri nets
Present
Markov chains
2012 – Present
timed automata
2005 – Present