Chung-Kil Hur

Associate Professor

Software Foundations Lab

Contact info

Office:

302 Building, Room 426

Phone:

(02)880-1844

Email:

gil [dot] hur [at] sf [dot] snu [dot] ac [dot] 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

2017 – now: Associate Professor, CSE Department, Seoul National University
2013 – 2017: Assistant 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