Chung-Kil Hur
Professor
Contact info
Office:
302 Building, Room 426
Phone:
(02)880-1844
Email:
gil [dot] hur [at] sf [dot] snu [dot] ac [dot] kr
Website:
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
■ 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