Department of Computer Science and Engineering at Seoul National University

I graduated in August 2023. This page will not be updated.
Please visit my new website for up-to-date information.

Research Interests

  • Verified Compilation
  • Relaxed Memory Concurrency
  • Program Logic


(* co-first authors)


  • Sep. 2017 - Aug. 2023, Ph.D. Computer Science and Engineering, Seoul National University
  • Mar. 2014 - Feb. 2017, B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics, (double major) Seoul National University
  • Mar. 2011 - Feb. 2014, Seoul Science High School


  • PhD Dissertation Award, Department of Computer Science and Engineering, Seoul National University. 2023
  • Gold medal in University Students Contest of Mathematics (대한수학회 대학생 수학경시대회), Korean Mathematical Society. 2014


  • TA, Computational Civilization, 2020 Spring (Prof. Kwangkeun Yi)
  • TA, Programming Languages, 2019 Fall (Prof. Kwangkeun Yi)
  • TA, Principles and Practices of Software Development, 2019 Spring / 2018 Spring (Prof. Chung-Kil Hur)
  • TA, Principles of Programming, 2018 Fall (Prof. Chung-Kil Hur)