현재 위치

허충길

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

연락처 정보

교수실: 
302동 426호
전화: 
(02)880-1844
이메일: 
gil.hur [at] sf.snu.ac.kr

학력

  • 영국 케임브리지 대학교, 컴퓨터 과학 박사 (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