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.