1. 구성원
  2. arrow_forward_ios
  3. 교수진

정대룡

조교수

대표 이미지
distance

301동 401호

phone_in_talk

(02) 880-1773

print

-

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

-

시스템 보안 연구실

학력

  • 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