허기홍 교수는 한국과학기술원(KAIST)의 부교수이다. 프로그래밍 시스템 연구실을 이끌면서 안전한 소프트웨어를 손쉽게 작성하는 방법을 연구한다. 주로, 프로그래밍 언어 이론과 인공지능 기술을 기반으로 소프트웨어 오류 검출, 프로그램 자동 합성 및 변환 방법 개발에 집중하고 있다. KAIST에 부임하기 이전에는 서울대학교에서 컴퓨터공학 학사와 박사학위를 받은 후, 미국 펜실베니아 대학교에서 박사후 연구원으로 근무하였다. 특히 2017년 박사 과정 중에 개발한 소프트웨어 오류 검출 기술은 Facebook 의 오류 검출기 Infer 에 탑재되어 쓰이고 있다. 또한 2019년에는 PLDI 와 ICSE 에서 최우수 논문상을 수상하였다.