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


Job Experiences

Malware Analyst, Security Personnel

ROK Army Headquater

2018 - 2020


TA for CS513 (Numerical Analysis)

University of Wisconsin-Madison

2022 Spring

TA for CS240 (Discrete Mathematics)

University of Wisconsin-Madison

2021 Fall