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) sf.snu.ac.kr Personal website: Check my new website here!