Chung-Kil Hur (Preferred)
Chung-Kil Hur
Pronouns: he/him
Full Professor, Computer Science & Engineering, Seoul National University
- Joined January 2025
Names
Emails
****@sf.snu.ac.kr (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science & Engineering, Seoul National University (snu.ac.kr)
2022 – 2025
Associate Professor
Computer Science & Engineering, Seoul National University (snu.ac.kr)
2017 – 2022
Assistant Professor
Computer Science & Engineering, Seoul National University (snu.ac.kr)
2013 – 2017
Postdoc
Research, Microsoft (research.microsoft.com)
2012 – 2013
Postdoc
MPI-SWS (mpi-sws.org)
2010 – 2012
Postdoc
Preuves, Programmes et Systèmes (pps.univ-paris-diderot.fr)
2009 – 2010
PhD student
Computer Laboratory, University of Cambridge (cam.ac.uk)
2004 – 2009
Advisors, Relations & Conflicts
Expertise
Programming Languages
2013 – 2025
Software Verification
2013 – 2025