1. People
  2. arrow_forward_ios
  3. Faculty

Chung-Kil Hur

Professor

대표 이미지
distance

302 Building, Room 426

phone_in_talk

(02) 880-1844

print

-

mailgil.hur@sf.snu.ac.kr
captive_portalhttp://sf.snu.ac.kr/gil.hur
Software Foundations Lab

Education

  • Ph.D. in Computer Science, University of Cambridge (2010)

  • B.S. in Computer Science and Mathematics, KAIST (2000)

Research Areas

  • Software Verification

  • Relaxed Memory Concurrency

  • Low-level Language Semantics

  • Automated & Interactive Theorem Proving

Career

  • 2013 – now: Full-time Professor, CSE Department, Seoul National University

  • 2012 – 2013: Postdoc Researcher, Microsoft Research Cambridge, UK

  • 2010 – 2012: Postdoc Researcher, Max Planck Institute for Software Systems (MPI-SWS), Germany

  • 2009 – 2010: Postdoc Researcher, Laboratoire Preuves, Programmes et Systèmes (PPS), France