연구실 목록

남원홍 교수 연구실

Formal Verification Lab

건국대학교 · 컴퓨터공학과

정보 출처아직 확인되지 않음

이 연구실, 재학생에게 물어보세요

궁금한 점을 진로·진학 게시판에 남겨보세요. 학교를 인증한 재학생·대학원생이 블라인드 신원으로 답할 수 있어요.

소개

남원홍 교수 연구실(정형검증연구실)은 건국대 컴퓨터공학과 소속으로, 수학·논리 이론을 이용해 시스템의 모든 상태를 검증하는 정형 기법(formal methods)을 연구한다. 모델 체킹, 자동 계획 등을 항공우주·자동차·의료 등 안전필수 시스템에 적용한다.

연구 키워드

Formal Methods

같은 학과의 다른 연구실

이 학과 연구실 전체 보기