Education
Ph.D. in School of Computing, KAIST (2023)
M.S. in School of Computing, KAIST (2016)
B.S. in Dept. of Computer Science, KAIST (2014)
Research Areas
Automating vulnerability detection
Reproducing and diagnosing system failures
Mitigating attacks and hardening systems
Formally verifying security properties of systems
Career
2025 – now : Assistant professor, Dept. of Computer Science and Engineering, Seoul National University
2024 – 2025 : Postdoctoral Fellow, Georgia Tech
2023 – 2024 : Postdoctoral Researcher, KAIST