학력
KAIST 전산학부 박사 (2023)
KAIST 전산학부 석사 (2016)
KAIST 전산학과 학사 (2014)
연구 분야
Automating vulnerability detection
Reproducing and diagnosing system failures
Mitigating attacks and hardening systems
Formally verifying security properties of systems
경력
2025 – 현재 : 서울대학교 컴퓨터공학부 조교수
2024 – 2025 : Postdoctoral Fellow, Georgia Tech
2023 – 2024 : 박사후 연구원, KAIST