김지응 교수님께서 우리 학과에 오셨습니다.

교수님의 주 연구 분야는 프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성 입니다.

[김지응 교수님 연구실 바로가기]