I am a PhD student in the Computer Science Department at the University of Wisconsin-Madison. I am currently working on program synthesis and mining specification with Loris D'Antoni.
Pohang University of Science and Technology
Summa Cum Laude, Engineering's Valedictorian
2015-2021
ROK Army Headquater
2018 - 2020
University of Wisconsin-Madison
2022 Spring
University of Wisconsin-Madison
2021 Fall