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 its applications. I am also interested in the areas of program analysis, verification and security.
Outside of work, I enjoy playing acoustic guitar.
Aug 2021 - Current
Pohang University of Science and Technology
Summa Cum Laude, Engineering's Valedictorian
Feb 2015 - Feb 2021
Amazon Web Services
May 2023 - Sep 2023
ROK Army Headquarter (Obligatory Military Service)
Aug 2018 - Mar 2020
University of Wisconsin-Madison
2022 Spring
University of Wisconsin-Madison
2021 Fall