Shibashis Guha

Shibashis Guha is an Associate Professor (Reader) at the School of Technology and Computer Science, Tata Institute of Fundamental Research (TIFR), where he conducts research and teaches in formal methods, logic, automata theory, and verification. His work focuses on reactive controller synthesis, probabilistic systems, timed automata, and the integration of machine learning with formal verification.

• Institution: Tata Institute of Fundamental Research
• School: School of Technology and Computer Science
• Department: Department of Computer Science
• Academic Rank: Associate Professor

His research interests span formal methods, logic in computer science, automata theory, probabilistic systems, algorithmic game theory, and reinforcement learning. He investigates the synthesis of reactive controllers, behavioral equivalences, and the application of learning in verification. His work often intersects with infinite games and descriptive complexity.

The recent publications highlight a strong trend in stochastic games, mean-payoff objectives, window properties, probabilistic model checking, and the synthesis of controllers under logical specifications. There is a clear emphasis on bridging formal methods with learning, especially in continuous-time and probabilistic settings.

Scientific Awards:

• Best paper award at MFCS 2021

Guha advises several students and collaborates widely across institutions. His research is funded by the DST-SERB project on zero-sum and nonzero-sum games for controller synthesis. He has served on program committees for major conferences including CAV, ATVA, CONCUR, LICS, and VMCAI, and has organized workshops such as iVerif. He teaches advanced graduate courses like Automata and Computability, Descriptive Complexity, and Automata, Verification, and Infinite Games.

He is actively involved in the research community, delivering invited talks at institutions like IST Austria, ENS Paris-Saclay, and Indian Statistical Institute. He also leads seminar series and participates in panels on AI and verification.