Shibashis Guha
Reader (Tenure Track Assistant Professor)
School of Technology and Computer Science, Tata Institute of Fundamental Research

I am a reader (tenure track assistant professor) at the School of Technology and Computer Science at Tata Institute of Fundamental Research, Mumbai.

Previously, I was a postdoc at the Verification Group in Université libre de Bruxelles and at The Hebrew University in the group of Prof. Orna Kupferman. I did my PhD from the Department of Computer Science and Engineering at IIT Delhi. My PhD advisor was Prof. S. Arun-Kumar. I am interested in reactive synthesis, probabilistic systems, timed automata, behavioural equivalences, formal methods and its intersection with algorithmic game theory.

Email: firstname @


  • Joint work with Chaitanya Agarwal, Jan Kretinsky, and M. Pazhamalai on PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP has been accepted in CAV 2022.
  • Joint work with Benjamin Bordais, Damien Busatto-Gaston, and Jean-Françoi Raskin on Strategy Synthesis for Global Window PCTL has been accepted in ICALP 2022.
  • I am on the PC of FSTTCS 2022. Please consider submitting your papers.
  • I am co-organizing STCS Vigyan Vidushi 2022, a summer school for women undergraduate and masters students, to be held between 2-15 July. Please consider applying and also spread the word and encourage women students to apply. You may also use the poster to advertise in your institute or department.