허충길

부교수

소프트웨어 원리 연구실

연락처 정보

교수실:

302동 426호

전화:

(02)880-1844

이메일:

gil [dot] hur [at] sf [dot] snu [dot] ac [dot] kr

웹사이트:

http://sf.snu.ac.kr/gil.hur

학력

영국 케임브리지 대학교, 컴퓨터 과학 박사 (2010)
KAIST, 전산학 및 수학 학사 (2000)

연구 분야

Software Verification
Relaxed Memory Concurrency
Low-level Language Semantics
Automated & Interactive Theorem Proving

경력

2017 – 현재: 부교수, 서울대학교 컴퓨터공학부
2013 – 2017: 조교수, 서울대학교 컴퓨터공학부
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