Jinwoo Kim
Department of Computer Sciences
University of Wisconsin-Madison
I am a second-year Ph.D. student at UW-Madison, where I study programming languages with
Loris D'Antoni and Thomas Reps.
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
Research Interests
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.
POPL 2021

Semantics-Guided Synthesis [pdf] [talks] [slides|5min_slides]
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps
Jan. 2020
@ POPL 2020 SRC
"Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems"

Jan. 2020

I received the 1st Place Graduate Award at the Student Research Competition at POPL 2020, for my work on "Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems".