VMCAI 2026
Mon 12 - Tue 13 January 2026 Rennes, France
co-located with POPL 2026
POPL 2026 (series) / VMCAI 2026 (series) / Jyun-Ao Lin
Jyun-Ao Lin

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

Show activities from other conferences

POPL 2026-profile
View general profile