Registered user since Fri 6 Dec 2024
Name:Agnishom Chattopadhyay
Country:Japan
Affiliation:Imiron
Personal website: https://agnishom.github.io
Research interests:Formal Methods, Automata Theory, Logic, Programming Languages
Contributions
Using general profile