Scholar
Shibashis Guha
Google Scholar ID: Va23CwgAAAAJ
Reader, Tata Institute of Fundamental Research Mumbai
Citations & Impact
Citations
195
H-index
9
i10-index
8
Publications
20
Co-authors
0
Contact
Publications
Cited
3
Resume (English only)
Academic Achievements
- Papers accepted in FSTTCS 2025, CONCUR 2025, IJCAI 2025, AAMAS 2025, and other conferences; received a CEFIPRA (Centre Franco-Indien pour la Promotion de la Recherche Avancée) grant; published in ACM Transactions on Computational Logic (TOCL) and Logical Methods in Computer Science.
Research Experience
- Was a postdoc at Université libre de Bruxelles and The Hebrew University. Currently, he is a Reader at the School of Technology and Computer Science, Tata Institute of Fundamental Research, and holds a Visiting Associate Professor position at IIT Bombay.
Education
- PhD from the Department of Computer Science and Engineering at IIT Delhi.
Background
- Primary research interests are in the area of formal methods, logic, automata, and verification with an emphasis on reactive controller synthesis, probabilistic systems, timed automata, behavioural equivalences, formal methods and its intersection with algorithmic game theory, and application of learning in formal methods.
Miscellany
- Served as PC member for multiple international conferences such as ATVA 2025, CAV 2025, VMCAI 2025, etc.; organized events like VerTeCS Symposium 2024, STCS Symposium 2023.
Co-authors