Sung-Hwan Lee (이성환), Ph.D. Student

Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University

I am a final-year Ph.D. student at Seoul National University, advised by Chung-Kil Hur. Previously, I received B.S. in Computer Science and Engineering from Seoul National University.

My research interests lie in programming languages, concurrency, and software verification. In particular, I am interested in building formal foundations for writing, compiling, and verifying concurrent software under weak consistency. To this end, I have been designing relaxed memory models for programming languages and hardware architectures (Promising 2.0, Promising-ARM, Persistent memory), verifying compiler optimizations under weak memory (SEQ), and studying fundamental principles in writing concurrent programs (Local DRF).

Email: sunghwan.lee (at)
Personal website: Check my new website here!



  • Sep. 2017 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2013 - Aug. 2017, B.S., Computer Science and Engineering, Seoul National University
  • Mar. 2010 - Feb. 2013, Seoul Science High School


  • TA, Principles and Practices of Software Development (Prof. Chung-Kil Hur)
    • 2018 Spring, 2019 Spring, 2020 Spring, 2021 Spring, 2022 Spring
  • TA, Principles of Programming (Prof. Chung-Kil Hur)
    • 2018 Fall