SFlab

Ph.D. Student


Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University

Email: jaewoo.kim (at) sf.snu.ac.kr
Address: Room 315-1, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)

Publications


  • (POPL 2026) Coco: Corecursion with Compositional Heterogeneous Productivity.
    Jaewoo Kim, Yeonwoo Nam*, Chung-Kil Hur.
    * The second author, Yeonwoo Nam, made significant contributions comparable to those of the first author.
    Proceedings of the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages, January 2026.
    [paper: pdf] [paper with appendix: arxiv] [project page] [publisher page]

Education


  • Sep. 2023 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2018 - Aug. 2023, B.S., Computer Science and Engineering, B.S., Mathematical Sciences (double major), summa cum laude , Seoul National University
  • Mar. 2015 - Feb. 2018, Seoul Science High School