Shibashis Guha

Assistant Professor, Tata Institute of Fundamental Research

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

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

Program Visits

Theoretical Foundations of Computer Systems, Spring 2021, Visiting Scientist