Personal statement
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.
Education & Certification
BS in Computer Science and Mathematics
Pohang University of Science and Technology
Summa Cum Laude, Engineering's Valedictorian
2015-2021
Job Experiences
Malware Analyst, Security Personnel
ROK Army Headquater
2018 - 2020
Teaching
TA for CS513 (Numerical Analysis)
University of Wisconsin-Madison
2022 Spring
TA for CS240 (Discrete Mathematics)
University of Wisconsin-Madison
2021 Fall