Registered user since Fri 19 Jul 2024
Name:Shibashis Guha
Country:India
Affiliation:Tata Institute of Fundamental Research, India
Personal website: https://www.tifr.res.in/shibashis.guha/
Research interests:Formal methods, reactive synthesis, logic, automata
Contributions
POPL 2025-profile
View general profile
View general profile