Inhye Kang

Inhye Kang

University of Seoul · Mechanical Engineering

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

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

Research keywords

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

Other labs in this department

See all labs in this department