<aside>
💡
소프트웨어개발검증 연구실에서 석사학위 과정(석사, 학석사통합), 박사학위과정(박사, 석박사통합)으로 공부할 학생을 모집합니다.
- 모집인원: 1~2명
- 자격조건: C/C++ 프로그래밍 경험, 운영체제 및 컴퓨터 시스템에 대한 흥미, 소프트웨어 분석 및 검증 기술에 대한 관심, 영어 공부에 대한 의지
- 지원방법: [email protected]으로 연락주시기 바랍니다. 상담을 통해 진학에 대해 안내드리겠습니다(가능한 2026년 10월 30일까지)
- 2027학년도 전기 대학원 1차 입학원서 접수 기간은 10월 26일부터 11월 4일까지입니다.
</aside>
연구 목표와 비전
소프트웨어개발검증 연구실(Software Development and Verification Methodologies Lab)은
- 소프트웨어 엔지니어링 실패로 인해 어떠한 사이버 안전, 보안 문제가 발생하는가
- 소프트웨어 안전성을 보장하기 위한 신뢰할 수 있는 개발방법론은 무엇인가
- 개발자 능력을 향상하기 위해 어떠한 소프트웨어 개발 도구가 필요한가
와 같은 소프트웨어 엔지니어링 분야의 문제에 대한 과학적이고 기술적인 해법을 연구하며, 우리 사회의 소프트웨어 엔지니어링을 이끌어 갈 SW품질 엔지니어, SW분석 전문가, SW기술 연구자를 양성하고자 합니다.
연구주제별 진행 중인 연구 프로젝트
소프트웨어 테스팅 및 디버깅 자동화
- 소프트웨어재난연구센터(STAAR): LLM-based Directed Input Generation을 통한 crash reproduction / 과기정통부 선도연구센터(ERC), 2021.05-2028.02 (KAIST, UNIST, POSTECH, 경북대, 한양대, 고려대 공동)
- 다중프로젝트 결함 탐지를 위한 LLM 기반 SW 변경영향 분석(윤별 석사과정) / 교육부이공분야 석사과정생 연구장려지원 사업, 2026.09-2027.08
AI 기반 소프트웨어 신뢰성 평가
- SW개발 에이전트의 검증을 위한 구조적 테스팅 및 디버깅 기술, 과기정통부 기초연구사업 핵심연구(기본), 2026.09-2029.08
- AI 서비스의 개발부터 배포까지 전주기의 평가 프레임워크 개발: 멀티 에이전트 시스템 AI Red Teaming 기술 연구, 과기정통부 정보통신 방송 기술개발사업, 2026.04-2030.12 (슈어소프트웨어, 연세대와 공동)
시스템 SW 테스팅 및 분석
- 경수형 SMR 생명주기 기반 사이버보안 규제 요구분석 및 체계화, 한국원자력통제기술원 (KINAC) 연구 용역, 2025.04-2025.10, 2026.04-2026.10 (KAIST와 공동)
- 동시성 SW 코드 취약점 개선과 품질 강화, 고영테크놀로지R&D, 2026.10-2027.04
연구 소개