High-Assurance Software Systems Lab.

김백규 교수

복잡한 소프트웨어 시스템의 안전성·보안·성능을 보장하는 방법을 연구합니다. 사이버물리시스템과 사물인터넷의 지능적·자율적 동작을 위한 시스템·소프트웨어 검증을 다룹니다.

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