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

I am looking for students to work on verification and learning of probabilistic systems. See our recent CAV paper. If you are interested in doing a project/internship/thesis for a period of at least 3 months, please send me an email.

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 @

My research is partially supported by the DST-SERB project Zero-sum and Nonzero-sum Games for Controller Synthesis of Reactive Systems, awarded by Department of Science and Technology, Govt. of India.

Community Service:

Event Organization

PC Member

  • FSTTCS 2022, QEST 2023


  • Conferences, Journal: ACSD: 2019, ATVA: 2020, CAV: 2021, CONCUR: 2019, 2021, 2022, FORMATS: 2014, 2020, FORTE: 2015, FSTTCS: 2017, 2019, 2020, 2022, Games journal, Henzinger-60, HSCC: 2014, ICALP: 2017, 2021, iFM: 2020, LMCS journal, MFCS: 2020, PetriNets: 2019, SPIN: 2019, STACS: 2021, TACAS: 2022, TIME: 2018, VMCAI: 2015
  • Grant proposals: Israel Science Foundation (ISF)


  • Paper with Ansuman Banerjee and Kingshuk Chatterjee on Set Augmented Finite Automata over Infinite Alphabet has been accepted in DLT 2023.
  • Paper with Amin Falah and Ashutosh Trivedi on Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP has been accepted in ICAPS 2023.
  • I am on the PC of QEST 2023. Please consider submitting your papers.
  • Paper with Guy Avni and Orna Kupferman on Timed Network Games accepted to Information and Computation.
  • Invited talk on 'PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP' at IST Austria on January 17.
  • Invited talk on 'A Game of Pawns' at Indian Statistical Institute on December 12.
  • Invited talk on 'A Game of Pawns' at the IARCS verification seminar on November 1.
  • Paper with Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann on Parikh Automata over Infinite Words has been accepted in FSTTCS 2022.
  • I am teaching the course Automata, Verification, and Infinite Games in the current semester.
  • Presented work on strategy synthesis for global window PCTL at TU Munich (July 21), The Hebrew University of Jerusalem (July 26), and at VardiFest (July 31).
  • Presented work on PAC statistical model-checking of MDPs and CTMDPs at ENS Paris-Saclay (June 24), Highlights 2022 (July 1).
  • Paper 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.
  • Paper with Benjamin Bordais, Damien Busatto-Gaston, and Jean-François 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.
  • Best paper award at MFCS 2021.