M.S. Student


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

Personal Website: yj-han.github.io
Email: yeji.han (at) sf.snu.ac.kr
Address: Room 319, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)

Education


  • Mar. 2024 - Current, M.S. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2018 - Feb. 2023, B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)
  • Mar. 2015 - Feb. 2018, Korean Minjok Leadership Academy (KMLA)

Research Interests


  • Relaxed Memory Concurrency
  • Formal Verification of System Programs