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
Using general profile