Back to advisors
CH

Chung-Kil Hur

Professor · Dept. of CSE

Seoul National University · South Korea
Software VerificationRelaxed Memory ConcurrencyLow-level Language SemanticsAutomated & Interactive Theorem Proving

About

Chung-Kil Hur is a Professor in the Department of Computer Science and Engineering at Seoul National University. He leads the Software Foundations Lab. His research focuses on software verification, relaxed memory concurrency, low-level language semantics, and automated and interactive theorem proving.

Education

  • Ph.D. in Computer Science, University of Cambridge, 2010
  • B.S. in Computer Science and Mathematics, KAIST, 2000

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.