1. People
  2. arrow_forward_ios
  3. Faculty

Dae R. Jeong

Assistant Professor

대표 이미지
distance

301동 401호

phone_in_talk

(02) 880-1773

print

-

maildae.r.jeong@snu.ac.kr
captive_portal

-

시스템 보안 연구실

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