APLAS 2025 (series) / Ramanathan S. Thinniyam
Registered user since Tue 7 May 2024
Name:Ramanathan S. Thinniyam
Country:Sweden
Affiliation:Uppsala University
Personal website: http://ramanathan.ts.gitlab.io/html-webpage/
Research interests:Formal Verification, Automata Theory, Logic, Quantum Computing
Contributions
Using general profile