First-year master student at POSTECH CSE

Publications

• Selective Code Generation for Functional Guarantees

  Jaewoo Jeong, Taesoo Kim, Sangdon Park

  Preprint 2025, [arxiv]

Education

Pohang University of Science and Technology (POSTECH)

• Master of Science in Computer Science and Engineering

  Advisor: Sangdon Park

  2025.02 ~

Pohang University of Science and Technology (POSTECH)

• Bachelor of Science in Computer Science and Engineering

  Summa Cum Laude

  2017.02 ~ 2025.02

Hansung Science High School

• 2015.03 ~ 2017.02

  One Year Early Graduation

Scholarship

• Bang Seung-Yang Graduate Fellowship (2025, POSTECH CSE)
• National Science and Technology Scholarship (2017 ~ 2024 , KOSAF)

Experience

• NAVER Plasma (2021.07 ~ 2021.08)

  Software Engineering Intern