返回导师列表
CH

Chung-Kil Hur

Professor · Dept. of CSE

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

简介

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.

教育经历

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。