Formal Reasoning & Verification Lab

배경민 교수 · Formal Methods, Automated Verification, Trustworthy AI, Computational Logic

컴퓨터 시스템의 신뢰성·보안·안전을 자동 검증하는 기술을 연구합니다. 사이버 물리 시스템과 신뢰할 수 있는 인공지능, 논리적 기반 및 알고리즘을 다룹니다.

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