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

• Mar. 2024 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
• Mar. 2017 - Feb. 2024, B.S., Mathematical Sciences, B.S., Computer Science (double major), Korea Advanced Institute of Science and Technology (KAIST)

Research Interests

• Formal Verification of Programs

• Coinduction and Corecursion