정형 컴퓨팅 및 인공지능 연구실

김지응 교수 · 프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성

컴퓨팅 구성요소를 분해·추상화하고 정형검증으로 정확성과 신뢰성을 확인하는 방법을 연구합니다. 프로그래밍 언어와 증명 이론을 활용해 소프트웨어·신경망의 취약성을 다룹니다.

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