소프트웨어안전공학 연구실에서는 소프트웨어 오류에서 기인하는 소프트웨어재난을 최소화하기 위한 원천기술을 연구하고 있다. 내장형 소프트웨어의 안전성 성질 분석기법, 소프트웨어 모델 합성 기법, 모델검증 자동화 및 실용화 기술 등을 연구 개발하여 ASE, ICSE 등과 같은 플래그쉽 국제학회에 논문을 발표해 왔다. 산업체 과제를 포함하여 다수의 연구과제를 수행해 왔으며, 2021년 6월부터는 과학기술정보통신부가 지원하는 공학선도연구센터에 선정되어 소프트웨어재난연구센터(staar.knu.ac.kr)를 운영하는 주관연구실로 활동하고 있다.