연구실 목록

김백규 교수 연구실

High Assurance Software Systems (HASS) Lab

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

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

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

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

교수 소개

김백규 교수

교수 홈페이지·논문

소개

김백규 교수 연구실(HASS)은 DGIST 전자공학전공 소속으로, 임베디드 소프트웨어와 정형 기법(formal method)을 연구한다. 자율 시스템의 신뢰성 보증을 다룬다.

연구 키워드

Embedded softwareformal methods

같은 학과의 다른 연구실

이 학과 연구실 전체 보기