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 @

Internship/project thesis/postdoc opportunity to work on synthesis and learning for MDPs. The candidate should have strong mathematical background, and should also have experience with Java programming and tool building.