My research interests include software security, software verification, and software engineering. More generally, I care about the security and correctness of software.
Before joing Georgia Tech, I was a research assitant at Acaedmia Sinica, the top research institute in Taiwan. I got my bechalor degree in computer science from National Chiao Tung University.
PhD in Computer Science, 2020 ~ Present
Georgia Institute of Technology, U.S.
BSc in Computer Science, 2019
National Chiao Tung University, Taiwan
Top 5% students in a class.
Awarded in all my semesters in NCTU.