About
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.
Find Chung-Kil Hur elsewhere
Related Searches
You Might Also Like
Yannick ForsterInria · Researcher- CClément Pit-ClaudelNational and Kapodistrian University of Athens · Assistant Professor
Scott OwensInria · Professor- CClément Pit-ClaudelSwiss Federal Institute of Technology in Lausanne · Assistant Professor
- CChung-Kil HurMax Planck Institute for Software Systems · Research Fellow
- CClément Pit-ClaudelInria · Assistant Professor