허기홍 연구실

KAIST 전산학부 허기홍 교수 연구실은 최근 5년간 소프트웨어 신뢰성과 보안을 아우르는 폭넓은 연구 스펙트럼을 구축하며 총 15편의 논문을 발표하였습니다. 연구 주제는 정적 분석과 컴파일러 최적화 검증 등 전통적인 프로그램 분석 기법을 기반으로 하면서도, 퍼징 및 테스트 생성, 자동화된 버그 탐지, 소프트웨어 취약점 탐지 등 실용적 보안 검증 영역으로 확장되는 흐름을 보입니다. 동시에 기계학습 기반 프로그램 분석, 확률적 추론 및 알람 순위화와 같은 데이터 기반 접근법이 연구 포트폴리오에 편입되면서, 형식적 방법론과 학습 기반 기법의 융합이 연구 방향의 주요 축으로 자리잡고 있음을 확인할 수 있습니다. 번역 검증, 형식 명세 추출, 소프트웨어 디블로팅 등의 주제가 함께 다루어지고 있어, 연구실의 관심이 단일 기법에 집중되기보다 소프트웨어 생애주기 전반의 품질 보증 문제로 분산·심화되는 방향으로 전개되고 있습니다. 가장 최근 논문이 2026년 3월에 발표된 점에서, 연구 활동이 현재까지 지속적으로 이어지고 있음을 알 수 있습니다.