스파이럴 연구실（SPIRAL: Software Process Improvement and Reliability Assurance Laboratory） 에서는 소프트웨어 개발 공정 및 소프트웨어 품질을 유지, 개선하는 소프트웨어 기술과 소프트웨어 공학 패러다임에 대해 연구합니다. 그에 따른 스파이럴 연구실의 주요 연구 분야는 아래와 같습니다.

- 소프트웨어 신뢰성 보증
- 소프트웨어 프로세스 모델링 및 시뮬레이션
- 소프트웨어 버그 예측
- 소프트웨어 모델 검증