APLAS & ATVA 2026 (series) / B Srivathsan
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
Using general profile