Personal statement
I am a 3rd year CS PhD student at the University of Wisconsin-Madison, where I am advised by Loris D'Antoni. My research is focused on program synthesis techniques and their applications. I am also interested in the areas of program analysis, verification and security.
Outside of work, I enjoy playing acoustic guitar.
Education & Certification
PhD in Computer Science
Aug 2021 - Current
BS in Computer Science and Mathematics
Pohang University of Science and Technology
Summa Cum Laude, Engineering's Valedictorian
Feb 2015 - Feb 2021
Job Experiences
Applied Scientist Intern
Amazon Web Services
May 2023 - Sep 2023
Malware Analyst, Security Personnel
ROK Army Headquarter (Obligatory Military Service)
Aug 2018 - Mar 2020
Teaching
TA for CS513 (Numerical Linear Algebra)
University of Wisconsin-Madison
2022 Spring
TA for CS240 (Discrete Mathematics)
University of Wisconsin-Madison
2021 Fall