Chung-Kil Hur

Chung-Kil Hur is a Professor in the Department of Computer Science and Engineering and an Adjunct Professor in the Department of Mathematical Sciences at Seoul National University. His research focuses on programming languages, compiler verification, and interactive theorem proving, with contributions to probabilistic programming and category theory.

Education: PhD in Computer Science (2004–2009, University of Cambridge), B.S. in Mathematics and Computer Science (1995–2000, KAIST).

Key roles include General Chair of PLDI 2025, PC Chair of APLAS 2023, and member of program committees for ICFP, POPL, and others. He has developed software tools like Heq (Coq library for heterogeneous equality), Paco (parameterized coinduction), and R2 Project (Bayesian inference system).

Awarded Distinguished Paper Awards at PLDI/POPL and recognized in international mathematics competitions. His professional activities include invited lectures at Deepspec Workshop, NII Shonan Meetings, and Dagstuhl Seminars.