구성원

미래 핵심/원천 기술의 개발을 주도하여
무한기술경쟁시대의 국가미래를 이끌어 갑니다

교수

  • HOME
  • 구성원
  • 교수
소순범

프로그램 분석 연구실

062-715-2665
  • 소프트웨어 검증
  • 소프트웨어 테스팅
  • 소프트웨어 수정 및 합성

연구실소개

  • 우리 연구실은 소프트웨어의 안전성과 신뢰성을 향상하기 위한 기술들을 연구합니다.

연구분야

  • • 소프트웨어 검증 (소프트웨어 오류 부재 자동 증명)
  • • 소프트웨어 테스팅 (소프트웨어 오류 자동 검출)
  • • 소프트웨어 수정 (개발자 대신 소프트웨어 오류를 자동으로 수정)
  • • 소프트웨어 합성 (개발자 대신 소프트웨어를 자동으로 생성)

학력

  • 2022.08, 고려대학교 서울캠퍼스 컴퓨터학과 박사
  • 2016.08, 고려대학교 서울캠퍼스 컴퓨터통신공학부 학사

주요경력

  • 2023.09 - 현재, GIST 전기전자컴퓨터공학부 조교수
  • 2022.09 - 2023.08, 고려대학교 연구교수

주요 학술활동

  • • Program Committee member: ISSTA 2025
  • • Journal Reviewer: TSE (2022, 2023), TOSEM (2023)
  • • Artifact Evaluation Committee member: member: OOPSLA 2020, CAV 2023

주요 수상

  • • The 27th Humantech Paper Award 장려상 (2021.02)
  • • Naver Ph.D Fellowship Award (2020.12)
  • • Best Paper Award @ ACM SIGPLAN GPCE (2016.10)