프로그래밍 시스템 연구실

허기홍 교수 · 전산이론, 소프트웨어 디자인, 시큐어 컴퓨팅

소프트웨어 오류를 자동으로 탐지·수정하고 프로그램을 변형하거나 생성하는 기술을 연구한다. 프로그래밍 언어와 분석 이론, 인공지능을 활용해 신뢰할 수 있는 개발 환경을 만든다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.