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
POPL 2025-profile
View general profile
View general profile