SFlab

Ph.D. Student


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

Email: hyunwoo.lee (at) sf.snu.ac.kr
Address: Room 315-1, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)

Research Interests

  • Software/Compiler Verification

Education


  • Mar. 2024 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2018 - Feb. 2020, M.S., Computer Science, Korea Advanced Institute of Science and Technology
  • Mar. 2014 - Feb. 2018, B.S., Computer Engineering, Hongik University

Work Experience

  • Mar. 2022 - Oct. 2023, Backend Engineer, Qraft Technologies