Research
- Automating vulnerability detection
- Reproducing and diagnosing system failures
- Mitigating attacks and hardening systems
- Formally verifying security properties of systems
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)
Appointments
- 2025 – Present, Assistant professor, Dept. of Computer Science and Engineering, Seoul National University
- 2024 – 2025, Postdoctoral Fellow, Georgia Tech
- 2023 – 2024, Postdoctoral Researcher, KAIST
