Registered user since Wed 25 Dec 2024
Name:B Srivathsan
Country:India
Affiliation:Chennai Mathematical Institute
Personal website: https://www.cmi.ac.in/~sri/
Research interests:Formal verification, Automata theory, Games on graphs
Contributions
FM 2026-profile
View general profile
View general profile