충북대학교 소프트웨어학과 홍신

오픈랩 정보는 PI가 직접 입력한 정보입니다.

최근 업데이트 날짜: 2025년 5월 18일

오픈랩 정보 오류 신고하기

지금 연구실 모집중이에요!

대학원생 학부생인턴

대학원생, 박사후연구원, 학부생인턴 모집여부를 등록하려면?

연구실 소개

소프트웨어개발검증(SDEV) 연구실은 안전하고 믿을 수 있는 소프트웨어를 만들기 위한 기술을 연구개발하여, 우리 사회에 위험을 일으키는 불량 소프트웨어 문제를 해결하고자 합니다. 우리 연구실은 greybox fuzzing, symbolic execution과 같은 테스팅 자동화 기법을 중심으로 소프트웨어 엔지니어링 현장에 실제적인 도음을 줄 수 있는 도구와 소프트웨어공학방법론을 개발하고 있습니다. SDEV 연구실에서 발표한 논문, 수행하고 있는 프로젝트는 홈페이지를 통해 확인할 수 있습니다: http://sdevlab.github.io
연구분야 키워드
- #debugging
- #fuzzing
- #software analysis
- #software engineering
- #software testing
- #software verification
- #소프트웨어 검증
- #소프트웨어 공학
- #소프트웨어 분석
- #소프트웨어 테스팅
졸업생 정보

2018년부터(한동대 ARISE연구실) 현재까지 총 6명의 석사 졸업생을 배출하였으며, 졸업생들은 박사과정 진학(1명), 국내 소프트웨어테스팅 전문기업의 연구원(2명), 국내대기업 소프트웨어 엔지니어(1명), 외국계 기업 소프트웨어 엔지니어(1명)으로 활동하고 있습니다.

대학원 졸업생과 현재 연구실 구성원에 대한 보다 자세한 정보는 연구실 홈페이지에서 확인할 수 있습니다: https://sdevlab.github.io/members/
연구실 지원 방법

충북대학교 일반대학원 2025년 후기 대학원생 모집(1차)이 2025년 5월 30일까지 진행됩니다. 진학에 관심이 있는 분은 hongshin@gmail.com 으로 연락주시기 바랍니다.
자격 조건

컴퓨터공학전공자
대우 조건

대학원에 진학하는 학생은 연구실에서 수행하는 국가R&D과제에 참여하여 학생인건비를 지원받게 됩니다. 또한, 연구주제에 따라 관련된 산학프로젝트에 참여할 수 있습니다. 인건비와 연구 지원에 관한 사항은 상담 때 구체적으로 의논할 수 있습니다.

오픈랩 정보는 어떻게 등록할 수 있나요?

연구실(PI) 홍보 게시판 최신 글

SCIE 논문 정보

김박사넷에 로그인하고 더 많은 기능을 이용해 보세요!

1. 동일계열 연구실과 SCIE논문 정보를 비교할 수 있어요.
2. 연구실에서 나온 논문목록을 찾아볼 수 있어요.
3. 논문 기반으로 찾은 연구실 키워드를 열람할 수 있어요.
4. 교수/연구원 즐겨찾기 기능으로 알람을 받을 수 있어요.

연관 정보

교수

학과채널

충북대학교

소프트웨어학과

단과대학, 학과별 모집정보/이벤트 홍보는 광고 문의를 이용해 주세요.