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 @

Along with Guillermo A. PĂ©rez, I am organising the workshop iVerif on AI and Verification to be held on December 14, 2021. The workshop is co-located with FSTTCS.