M.S. Student

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

Personal Website: taeyoung-1.github.io
Email: taeyoung.yoon (at) sf.snu.ac.kr
Address: Room 319, 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. 2018 - Feb. 2023, B.S., School of Computer Science, B.S., Mathematics (Double major), Hanyang University

Research Interests

  • Program Logic