Research
Programming Languages in general. Specifically:
- Software Verification (Program Logic & Compiler Correctness)
- Relaxed Memory Concurrency
- Semantics of Low-level Languages (LLVM, C/C++, Rust)
- Interactive Theorem Proving
- Probabilistic Programs & Bayesian Inference
- Category Theory
Education
- 10.2004 ~ 10.2009 : Ph.D. in Computer Science at University of Cambridge (Supervisor: Marcelo Fiore).
- 03.1995 ~ 02.2000 : B.S. in Mathematics and Computer Science at KAIST.
Appointments
- 09.2022 ~ present : Professor in the Department of Computer Science and Engineering at Seoul National University.
- 09.2017 ~ 08.2022 : Associate professor in the Department of Computer Science and Engineering at Seoul National University.
- 03.2016 ~ present : Adjunct professor in the Department of Mathematical Sciences at Seoul National University.
- 09.2013 ~ 08.2017 : Assistant professor in the Department of Computer Science and Engineering at Seoul National University.
- 09.2012 ~ 08.2013 : Post-doctoral researcher in the Programming Principles and Tools Group at Microsoft Research Cambridge.
- 10.2010 ~ 08.2012 : Post-doctoral researcher in the Foundations of Programming Group at Max Planck Institute for Software Systems (MPI-SWS).
- 11.2009 ~ 09.2010 : Post-doctoral researcher at Laboratoire Preuves, Programmes et Systèmes (PPS), CNRS & Université Paris Diderot.
- 11.2008 ~ 01.2009 : Research intern in the Programming Principles and Tools Group at Microsoft Research Cambridge.
- 07.2003 ~ 02.2004 : Research Assistant in the Advanced Information Technology Research Center (AITrc) at KAIST.
