현재 위치
허충길

교수 (학생.연구부학부장)
학력
- 영국 케임브리지 대학교, 컴퓨터 과학 박사 (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