연세대학교 · 첨단컴퓨팅학부

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

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

공식 목록 참고 등록 · 등록 정보 출처 ↗ · 확인 2026-09-08. 연구실 정보의 등록은 평가나 소속 인증을 뜻하지 않습니다.

한줄평

작성 시각은 공개하지 않습니다

한줄평은 원할 때만 남겨주세요.
후기는 운영자 검토 후 최소 72시간의 공개 지연을 거칩니다.