Sung-Hwan Lee

Sung-Hwan Lee (이성환)

Ph.D. Student

Software Foundations Laboratory

Department of Computer Science and Engineering

Seoul National University

sunghwan.lee [at]

cv   |  google scholar   |  dblp   |  github


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).


* equal contribution