Researcher, Institute of Computer Technology



I used to be a Ph.D. student in Computer Sciences at UW-Madison, where I studied programming languages with Loris D'Antoni and Thomas Reps. You can find my 'old' homepage (which I still keep up to date) here.
Currently, I am on leave from my Ph.D. studies and working as a contracted researcher with Chung-Kil Hur as alternative military service for South Korea.

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.


  • Programmable Program Synthesis
    Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas Reps
    In Computer Aided Verification 2021 (CAV 2021).
    [pdf: pdf]
  • Semantics-Guided Synthesis
    Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps
    In Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2021)
    [pdf: pdf] [Semgus project page]

Awards and Recognitions

  • 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".
  • When I was a Ph.D. student, I was supported by a grant from the Korea Foundation for Advanced Studies (currently on hold).