허충길
교수
연락처 정보
교수실:
302동 426호
전화:
(02)880-1844
이메일:
gil [dot] hur [at] sf [dot] snu [dot] ac [dot] 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
■ 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