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

허충길

교수(학생.연구부학부장)

대표 이미지
distance

302동 426호

phone_in_talk

(02) 880-7254

print

-

mailgil.hur@sf.snu.ac.kr
captive_portalhttp://sf.snu.ac.kr/gil.hur
소프트웨어 원리 연구실

학력

  • 영국 케임브리지 대학교, 컴퓨터 과학 박사 (2010)

  • KAIST, 전산학 및 수학 학사 (2000)

연구 분야

  • Software Verification

  • Relaxed Memory Concurrency

  • Low-level Language Semantics

  • Automated & Interactive Theorem Proving

경력

  • 2013 – 현재: 전임교수, 서울대학교 컴퓨터공학부

  • 2012 – 2013: 박사후 연구원, Microsoft Research Cambridge, UK

  • 2010 – 2012: 박사후 연구원, Max Planck Institute for Software Systems (MPI-SWS), Germany

  • 2009 – 2010: 박사후 연구원, Laboratoire Preuves, Programmes et Systèmes (PPS), France