계산지능형 소프트웨어 공학 연구실

카이스트 공과대학 E3-1 2405, 2417호, E3-5, 305

교수님 소개

강민석

카이스트 공과대학

부교수

Citations-
H-index-
연구실 인원수-
이메일이 복사되었습니다

연구실 소개

계산지능형 소프트웨어 공학 연구실(COINSE Lab)은 다양한 계산지능 알고리즘을 소프트웨어 공학 문제에 적용하는 연구를 수행한다. 유전 알고리즘, 기계 학습, 몬테카를로 방법과 같은 알고리즘을 사용하여 테스트 자동 생성, 회귀 테스팅 최적화, 자동 디버깅 및 패칭 등의 세부 연구를 진행한다. 자동화된 계산지능형 알고리즘을 이용하여 반복적인 소프트웨어 공학 업무를 자동화하고, 대량의 자료에서 통찰력을 추출하는 것을 목표로 한다. 코드 결함 위치 자동 발견 및 수정, 기계 학습 모델의 결함 발견 및 수정 등 테스팅 및 디버깅 문제 해결을 연구한다.

연구실 키워드

하이 임팩트 태그

하이 임팩트 태그 정보가 없습니다.

연구 키워드

연구 키워드 정보가 없습니다.

알럼나이가 간 회사

KAIST
Roku

연구실 지원 방법

대학원 지원 일정·절차는 소속 대학·대학원 및 학과(전공)마다 다릅니다. 해당 학교의 대학원 모집 공지와 지원 안내를 먼저 확인해 주세요. 연구실별로 필요 서류, 면접·과제 제출, 합격 후 입학 절차 등은 교수님 또는 연구실 안내에 따릅니다.

대우 조건

  • 연구실 대우 조건은 교수님의 과제 상황 및 석사·박사 학위 과정(재학·진학 여부 등)에 따라 상이합니다. 구체적인 지원 혜택과 연구 참여 형태는 면접 및 협의 과정에서 결정됩니다.
  • *가방끈 AI가 정리한 연구성과로 최신 연구실 정보로 업데이트를 원하시는 분들은 [수정 요청] 아이콘을 클릭해주세요

    연도별 논문 인용수

    인용 수
    누적 수
    연도별 논문 인용수에 대한 데이터가 없습니다

    저널 & 학회 논문 출판 수

    인용 50회 미만
    인용 50회 이상
    저널 & 학회 논문 출판 수에 대한 데이터가 없습니다

    연구실 논문 목록

    Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations

    2025 venue에 대한 데이터가 없습니다

    Citation1

    author에 대한 데이터가 없습니다

    On Frontrunning Risks in Batch-Order Fair Systems for Blockchains

    2025 venue에 대한 데이터가 없습니다

    citation_count에 대한 데이터가 없습니다

    author에 대한 데이터가 없습니다

    On Frontrunning Risks in Batch-Order Fair Systems for Blockchains (Extended Version)

    2025 venue에 대한 데이터가 없습니다

    Citation1

    author에 대한 데이터가 없습니다

    연구실 보유 특허

    등록 목록에 대한 데이터가 없습니다

    최근 3년간 연구실적 높은 연구실

    전체보기
    연구실 목록 불러오는 중

    대학별 입시끈

    전체보기

    우리 연구실 모집

    회사명
    주식회사 아웃스탠더스
    주소
    서울시 노원구 광운로 15길 51, 3
    대표
    李智優
    사업자등록번호
    129-88-02423
    직업정보제공사업신고번호
    J1205020250003

    Copyright © 주식회사 아웃스탠더스. All rights reserved.