RESEARCHED WITH AUTUMN
CHChung-Kil Hur
Professor, Dept. of Computer Science and Engineering, Seoul National University; leads the Software Foundations Lab
Seoul National University · Seoul, Republic of Korea · academic
Details
Programming LanguagesSoftware VerificationProgram LogicCompiler CorrectnessRelaxed Memory ConcurrencySemantics of Low-level Languages (LLVM, C/C++, Rust)Interactive Theorem ProvingProbabilistic ProgramsBayesian InferenceCategory TheoryLow-level Language SemanticsAutomated & Interactive Theorem Proving
Experience
Professor at Seoul National University
Sep 2022 - Present
Associate Professor at Seoul National University
Sep 2017 - Aug 2022
Assistant Professor at Seoul National University
Sep 2013 - Aug 2017
Post-doctoral researcher at Microsoft Research Cambridge
Sep 2012 - Aug 2013
Post-doctoral researcher at Max Planck Institute for Software Systems (MPI-SWS)
Oct 2010 - Aug 2012
Post-doctoral researcher at CNRS & Universite Paris Diderot (PPS)
Nov 2009 - Sep 2010
Adjunct Professor at Seoul National University
Mar 2016 - Present
Education
University of Cambridge
Oct 2004 - Oct 2009
Ph.D., Computer Science
KAIST
Mar 1995 - Feb 2000
B.S., Mathematics and Computer Science
AchievementsRepresented Republic of Korea at the 35th International Mathematical Olympiad (IMO) in 1994, winning a Bronze medal · Joined Seoul National University faculty in 2013; promoted to full Professor in 2022 · General Chair of PLDI 2025 · PC Chair of APLAS 2023 · Leads the Software Foundations Lab (sf.snu.ac.kr)
AwardsBronze medal, 35th International Mathematical Olympiad (IMO), 1994, Republic of Korea (score 132) · Bronze medal, 6th Asian Pacific Mathematics Olympiad (APMO), 1994 · PLDI 2021 Distinguished Paper Award · POPL 2020 Distinguished Paper Award · PLDI 2017 Distinguished Paper Award · Samsung Scholarship (LeeKunHee), 2003
Profiles
Competition record
Republic of Korea · IMO