You are here

Home » People » Faculty

Chung-Kil Hur

Professor
Software Foundations Lab

Contact info

Office: 
302 Building, Room 426
Phone: 
(02)880-1844
Email: 
gil.hur [at] sf.snu.ac.kr
Website: 
http://sf.snu.ac.kr/gil.hur

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

Experience

   ■  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