Chung-Kil Hur

Joined
January 2025

Names

Chung-Kil Hur (Preferred)

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

PhD Advisor
Marcelo Fiore
2004 – 2009

Expertise

Programming Languages
2013 – 2025
Software Verification
2013 – 2025

Publications

Co-Authors