I was a second-year Ph.D. student at UW-Madison,
where I studied programming languages with Loris D'Antoni and
Currently, I am taking a leave of absence and working as a researcher at Seoul National University
with Chung-Kil Hur in order to fulfill alternate military service for South Korea (until August 2024).
My primary research interests are in topics from programming languages and verification.
I am also interested in the application of these topics to other CS fields,
such as security or computer architecture.
Recently, I have been working in between the intersection of ideas from program analysis and program synthesis,
in order to explore fundamental questions behind the theory and practice of synthesizing programs.
Programmable Program Synthesis
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas Reps