VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
No Photo

Registered user since Wed 25 Dec 2024

Name:B Srivathsan
Country:India
Affiliation:Chennai Mathematical Institute
Research interests:Formal verification, Automata theory, Games on graphs

Contributions

Show activities from other conferences

Using general profile