I have moved!
I am now an graduate student at UC San Diego.
Please find my new website at: https://cseweb.ucsd.edu/~kap022/
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
Aug 2021 - Current
MS in Computer Science
Aug 2021 - May 2024
BS in Computer Science and Mathematics
Pohang University of Science and Technology
Summa Cum Laude, Engineering's Valedictorian
Feb 2015 - Feb 2021
Job Experiences
Applied Scientist Intern
Amazon Web Services
Jun 2024 - Aug 2024
Applied Scientist Intern
Amazon Web Services
May 2023 - Sep 2023
Malware Analyst, Security Personnel
ROK Army Headquarter (Obligatory Military Service)
Aug 2018 - Mar 2020
Publications
Grammar-Aligned Decoding [arXiv]
Kanghee Park*, Jiayu Wang*, Taylor Berg-Kirkpatric, Nadia Polikarpova, Loris D'Antoni
Preprint
LOUD: Synthesizing Strongest and Weakest Specifications [arXiv][Github]
Kanghee Park*, Xuanyu Peng*, Loris D'Antoni
Preprint
Modular System Synthesis [arXiv]
Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps
FMCAD 2023
Teaching
TA for CS513 (Numerical Linear Algebra)
University of Wisconsin-Madison
2022 Spring
TA for CS240 (Discrete Mathematics)
University of Wisconsin-Madison
2021 Fall