Jyun-Ao Lin

Registered user since Fri 7 Apr 2023

Name:Jyun-Ao Lin
Country:Taiwan
Affiliation:National Taipei University of Technology
Research interests:Formal method, Aotumatic reasoning, Automata theory, Quantum programming language

Contributions