Jhih-Jhong (Johnny) Lin
I’m a senior undergraduate student in Network Security Lab (NSLab) at Dept. of CSIE, National Taiwan University, advised by Prof. Hsu-Chun Hsiao. Having studied directed fuzzing and formal aspects of symbolic execution, I’m currently shifting my research to other topics in the vast field of formal methods and program verification. In addition, I’m a research assistant in IIS, Academia Sinica supervised by Prof. Bow-Yaw Wang, focusing on verifying cryptographic programs.
Curriculum Vitae
- CV (last updated: 2025-09-22)