연구실 목록

강인혜 교수 연구실

Inhye Kang

서울시립대학교 · 기계공학과

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

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

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

소개

강인혜 교수 연구실(소프트웨어공학 연구실)은 서울시립대 기계정보공학과 소속으로, 정형 기법과 소프트웨어 공학, 인공지능을 연구한다. 정형 명세와 모델링 기법을 활용해 임베디드·실시간 소프트웨어와 보안 프로토콜의 신뢰성·안전성을 수학적으로 검증하는 연구를 다룬다.

연구 키워드

정형 기법소프트웨어 공학인공 지능

같은 학과의 다른 연구실

이 학과 연구실 전체 보기