Programming Language Theory, Formal Verification, System Software Reliability, Neural Network Reliability

Sep 2024 - Present: Assistant Professor, Department of Computer Science and Engineering, Yonsei University
Sep 2022 - Aug 2024: Assistant Professor, Inha University Computer Engineering
May 2020 - Aug 2022: Research Engineer (Privacy & Security) - Google Research Cerebra, Software Engineer – Google Core ML Model Optimization Team
Jun 2019 - Apr 2020: Postdoctoral Associate, Yale University

APLAS 2023 Program Committee

APSEC 2023 Program Committee

PLDI 2025 Local Chair