블록체인 및 소프트웨어 엔지니어링 연구실은 소프트웨어 개발 과정 자체를 공학적으로 다룹니다. 블록체인 응용 영역에서는 각 도메인에 적용할 때 달라지는 플랫폼의 다양성과 형태를 고려하여, 요구사항 분석부터 설계·구현·검증에 이르는 방법론을 제시하고 이를 응용한 새로운 기술을 연구합니다. 요구공학에서는 요구 사항의 추출·분석·서술·관리·검증·유지를 포함하는 모든 활동과 원칙에 대한 공학적 접근법을 연구합니다. 적응형 소프트웨어(Adaptive Software) 영역에서는 소프트웨어가 스스로 자신의 동작과 환경을 모니터링·분석하여 변경이나 재배치가 필요한 상황을 판단하고 적응하는 기법을 다루며, 동적 분석·모니터링·결함 탐지·모델 생성 방안을 연구합니다. 여기에 프로세스 테일러링과 동적 프로덕트 라인 연구가 더해집니다.