conf.researchr.org / 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
2026
POPL
- Author of General Decidability Results for Systems with Continuous Counters within the POPL-track
- Committee Member in Program Committee within the POPL-track
- Author of Parameterized Verification of Quantum Circuits within the POPL-track
- Session Chair of Concurrency: Testing and Verification (part of POPL)