Personal statement
I am a 4th-year PhD student in CSE at UC San Diego, advised by Loris D'Antoni. My research focuses on program synthesis and constrained decoding of Large Language Models. I am also interested in program analysis, formal verification and security.
Outside of work, I enjoy playing acoustic guitar.
Education & Certification
PhD in Computer Science and Engineering
UC San Diego (Transferred from UW-Madison)
Sep 2024 - 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
LOUD: Synthesizing Strongest and Weakest Specifications [arXiv][Github]
Kanghee Park*, Xuanyu Peng*, Loris D'Antoni
*equal contribution
Preprint
Grammar-Aligned Decoding [arXiv] [Github]
Kanghee Park*, Jiayu Wang*, Taylor Berg-Kirkpatric, Nadia Polikarpova, Loris D'Antoni
*equal contribution
NeurIPS 2024
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