sunghwan.lee

Ph.D. Student

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

I am a Ph.D. student in the Software Foundations Lab. 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 the area of programming languages, relaxed memory concurrency, and software verification. In particular, I am mainly interested in building formal foundations for writing, compiling, and verifying concurrent software under weakly consistent shared-memory. To this end, I have been working on designing relaxed memory models for programming languages and hardware architectures (Promising 2.0, Promising-ARM, PMEM), developing reasoning principles for validating and verifying compiler optimizations under weak memory (SEQ), and studying fundamental programmability guarantees in relaxed memory concurrency (Local DRF).

Email: sunghwan.lee (at) sf.snu.ac.kr


Publications



Education


  • 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

Teaching


  • 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