Registered user since Fri 7 Apr 2023
Name:Jyun-Ao Lin
Country:Taiwan
Affiliation:National Taipei University of Technology
Personal website: https://carquois42.github.io/
Research interests:Formal method, Aotumatic reasoning, Automata theory, Quantum programming language
Contributions
2026
POPL
Using general profile