Assistant Professor — Yonsei University

• Department of Computer Science
• College of Computing

Assistant Professor — Inha University

• Department of Computer Engineering
• College of Software and Convergence

Research Engineer (Privacy & Security) — Google

• Model Optimization Team, Core ML, Google (Mar. 2022 – Aug. 2022)
• Cerebra (Personal AI), Google Research, Google (May 2020 – Feb. 2022)

Postdoctoral Associate — Yale University

• The FLINT Group
• Department of Computer Science, School of Engineering & Applied Science

Research Assistant — KAIST

• PLRG, Department of Computer Science
• Korea Advanced Institute of Science and Technology

Ph.D. in Computer Science — Yale University

• Department of Computer Science, School of Engineering & Applied Science
• Advisor: Zhong Shao
• Thesis: Modular and Compositional Development of Certified Concurrent Software Systems

M.S. in Computer Science — KAIST

• Department of Computer Science
• Advisor: Sukyoung Ryu
• Thesis: Proving FFMM Type Safety Using Coq

B.S. in Engineering — Sungkyunkwan University

• Department of Computer Engineering
• School of Information and Communication Engineering

Robert Willets Carle Scholarship Fund #2

• Department of Computer Science, School of Engineering & Applied Science, Yale University

Doctoral Fellowship

• Department of Computer Science, School of Engineering & Applied Science, Yale University

Outstanding MS Thesis

• Department of Computer Science, Korea Advanced Institute of Science and Technology

Program Committee Member

• APLAS 2023, APSEC 2023, ANT 2024, OOPSLA 2026, ATVA 2026

Organizing Committee Member

• PLDI 2025 (Co-local chair)

Vice President

• SIGPL Korea (2026)

Organizer

• GDG AI for Science Korea (Google Developer Group)

Illustration — hobby

• I draw illustrations in my spare time. See my work on Instagram: @hasutudio.

Korean Translation Team — Rocket IDE

Director — Korean Graduate Student Association at Yale

President — Korean Graduate Student Association at Yale

Student Representative Member (President) — Graduate Study, CS, KAIST

Lifeguard — American Red Cross

• Pool lifeguard at Camp Long and Camp Eagle, U.S. Army

Advanced Open Water Diver — PADI

• Diver number: 0403U16850