김형석 박사(지도교수 차상길)가 2025년 9월부로 충남대학교 컴퓨터융합학부 조교수로 임용되었다.

김 박사는 KAIST 정보보호대학원에서 시스템 및 소프트웨어 보안 분야를 전공하며 2024년 2월 박사학위를 취득했고, 박사과정 중 ISSTA 2024에서 ACM Distinguished Paper Award를 수상하는 등 우수한 연구성과를 거두었다. 박사학위 논문은 하드웨어 지원을 기반으로 한 신뢰성 있는 Control-Flow Integrity(CFI) 복원 기법을 다뤘으며, 해당 연구로 KAIST 우수 박사학위 논문상도 수상했다.

충남대 부임 전에는 국가보안기술연구소(NSR)에서 선임연구원으로 재직하며 네트워크 시스템 분석과 이진코드 리라이팅, 리눅스 커널 등 시스템 소프트웨어 영역에서도 전문성을 쌓았다.

현재 충남대에서는 SWSEC Lab을 이끌며 바이너리 분석, 자동 취약점 탐지, 소프트웨어 하드닝 등 시스템과 소프트웨어 보안의 교차 지점을 중심으로 연구를 수행 중이다. 연구 성과는 USENIX Security, ASPLOS, FSE, ISSTA 등 보안 및 시스템 분야 최우수 국제 학회에 다수 게재되었다.

김 박사의 자세한 이력과 연구 업적은 김형석 박사 홈페이지에서 확인할 수 있다.