PhD Student

Georgia Tech


I am a CS PhD student supervised by Prof. Taesoo Kim in the SSLab at Georgia Tech.

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.


  • Software Security
  • Software Verification
  • Software Engineering


  • PhD in Computer Science, 2020 ~ Present

    Georgia Institute of Technology, U.S.

  • BSc in Computer Science, 2019

    National Chiao Tung University, Taiwan




Research Assistant

Academia Sinica

Oct 2018 – May 2020 Taipei, Taiwan
supervised by Bow-Yaw Wang and Bo-Yin Yang at the formal method and programming language laboratory.

Summer Research Intern

Academia Sinica

Jul 2018 – Aug 2018 Taipei, Taiwan

Undergraduate Research

National Chiao Tung University

Feb 2018 – Jan 2019 Hsinchu, Taiwan



Finalist (12th place) - DEFCON CTF Final 26

In team BFS

Silver Medal - ACM ICPC 2017 Hua-Lien Regional Contest - Hua-Lien, Taiwan

Honorable Mention - ACM ICPC 2017 Asia Jakarta Regional Contest - Jakarta, Indonesia

14th Place – National Collegiate Programming Contest – Taipei, Taiwan

Academic Achivement Awards (Dean’s List Award) * 7

Top 5% students in a class.

Awarded in all my semesters in NCTU.


  • United States