Jyun-Ao Lin
I am an assistant professor in the Department of Computer Science and Information Engineering and iFIRST at National Taipei University of Technology.
My work sits around formal methods, verification, automata theory, decision procedures, cryptography, and quantum computing, with a current emphasis on quantum program and circuit verification.
Contact
-
Email: jalin@ntut.edu.tw
-
Office: Room 308, Hong-Yue Technology Research Building, NTUT
-
Address: No. 1, Sec. 3, Zhongxiao E. Rd., Taipei 10608, Taiwan
Current Focus
I am interested in quantum program verification, privacy-preserving decision procedures, and formal verification more broadly.
I am also looking for talented and self-motivated students interested in formal verification, decision procedures, and verification of quantum programs.