Registered user since Fri 19 Jul 2024

Name:Shibashis Guha
Country:India
Affiliation:Tata Institute of Fundamental Research, India
Research interests:Formal methods, reactive synthesis, logic, automata

Contributions