M.S. Student

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

Email: sunghwan.lee (at)
Tel: +82 (0)2 880 4165
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)


  • Sep. 2017 - Current, M.S. 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

Research Interext

  • Relaxed Memory Concurrency
  • Software Verification


  • Promising-ARM/RISC-V: a simpler and faster operational concurrency model.
    Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur.
    To appear in Proceedings of the 40th annual ACM SIGPLAN conference on Programming Languages Design and Implementation (PLDI 2019). (conditionally accepted)
    [project page]
  • Illuminance During a Solar Eclipse: A Mathematicsl Model.
    Sung-Hwan Lee, Siyul Lee.
    In Journal of the Korean Astronomical Society vol. 45 no. 5, October 2012.


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