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

University of Wisconsin-Madison

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

Feb 2012 - Feb 2015

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


Modular System Synthesis [arXiv]

Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps

FMCAD 2023

Synthesizing Specifications [arXiv] [Github]

Kanghee Park, Loris D'Antoni, Thomas Reps



TA for CS513 (Numerical Linear Algebra)

University of Wisconsin-Madison

2022 Spring

TA for CS240 (Discrete Mathematics)

University of Wisconsin-Madison

2021 Fall