연구실 목록

김윤승 교수 연구실

Verified Systems Lab (VESL)

대구경북과학기술원 · 전자공학전공

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

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

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

교수 소개

김윤승 교수

교수 홈페이지·논문

소개

김윤승 교수 연구실(VESL)은 DGIST 전자공학전공 소속으로, 정형 검증(formal verification)과 대화형 정리증명(interactive theorem proving)을 연구한다. 실시간 분산 시스템과 프로그래밍 언어도 다룬다.

연구 키워드

Formal verificationtheorem proving

같은 학과의 다른 연구실

이 학과 연구실 전체 보기