연세대학교
정형 컴퓨팅 및 인공지능 연구실
첨단컴퓨팅학부 · 김지응 교수
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
공개 기준 대기 중3명부터 공개
학교·연구실 이름순
첨단컴퓨팅학부 · 김지응 교수
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
약학과 · 민도식 교수
약학과 · 최준정 교수
생명공학과 · 조승우 교수
생화학과 · 강태건 교수
지구시스템과학과 · 이창열 교수
지구시스템과학과 · 홍태경 교수
지구시스템과학과 · 변은지 교수
기계공학부 · 김해진 교수
기계공학부 · 전흥재 교수
시스템반도체공학과 · 양준성 교수
전기전자공학부 · 이규호 교수
학교 이메일 확인 후 평가를 남길 수 있습니다. 연구실 소속을 확인한 것은 아닙니다.
후기는 검토와 공개 지연을 거칩니다. 소수 응답은 공개하지 않습니다.
잘못된 정보는 정정하고, 신고·정정 요청과 이의제기를 받습니다.