허충길

부교수

연락처 정보

교수실: 
301동 407호
전화: 
(02)880-1844
이메일: 
gil [dot] hur [at] cse [dot] snu [dot] ac [dot] kr

학력

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

연구 분야

  • Software Verification (especially, Compiler Verification)
  • Program Logic
  • Automated & Interactive Theorem Proving
  • Programming Language Theory
  • Category Theory

경력

  • 2013 – 현재: 전임교수, 서울대학교 컴퓨터공학부
  • 2012 – 2013: 박사후 연구원, Microsoft Research Cambridge
  • 2010 – 2012: 박사후 연구원, Max Planck Institute for Software Systems (MPI-SWS)
  • 2009 – 2010: 박사후 연구원, Laboratoire PPS
  • 2008 – 2009: 연구 인턴, Microsoft Research Cambridge