I am a second-year Ph.D. student at UW-Madison,
where I study programming languages with Loris D'Antoni and
My studies are supported by a grant from the Korea Foundation for Advanced Studies.
Office: Office 6360 at 1210 W. Dayton Street, Madison, WI 53706
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.