M.S. Student

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

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


  • Mar. 2024 - Current, M.S. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2017 - Feb. 2024, B.S., Mathematical Sciences, B.S., Computer Science (double major), Korea Advanced Institute of Science and Technology (KAIST)

Research Interests

  • Formal Verification of Programs