SDEV 연구실 대학원생 모집
2024년 5월 6일
충북대학교 SDEV 연구실(소프트웨어 개발검증 연구실)에서 석사, 학석사연계, 석박사연계, 박사 과정으로 진학할 신입생을 모집합니다.
연구분야 및 연구실 소개
SDEV 연구실은 오늘날 소프트웨어로 인한 위험요소는 무엇인가, 안전하고(Safe & Secure), 믿을 수 있는(Reliable) 소프트웨어를 어떻게 만들 수 있는가, 라는 질문에 과학적이고 기술적인 방법으로 답을 찾아가는 연구를 수행하고 있으며, 특별히 소프트웨어 엔지니어링 분야 중 다음의 주제를 중심으로 연구하고 있습니다:
- 소프트웨어 테스팅(Software Engineering)
- 프로그램 분석(Program Analysis)
- 컴퓨팅 논리학(Computational Logic)
- 시스템 소프트웨어(System Software)
- 최적화 기반 탐색 (Stochastic Optimization)
SDEV 연구실에서는 컴퓨팅과학 핵심기술을 활용하여 오늘날 우리 사회와 산업체에 실제적인 도움이 되는 기술과 도구 개발을 공부할 수 있습니다. SDEV 연구실의 연구 주제는 최근 발표한 논문을 통해 자세히 파악하실 수 있습니다: http://hongshin.github.io/publications
SDEV 연구실의 대학원 과정(석사, 학석사연계, 박사 학위 과정)에 진학하는 학생은 기술중심 소프트웨어 공학 방법론을 능동적이고 비판적으로 활용하여 사회에서 SW공학적 지식과 가치를 창출하는 책임을 다 할 수 있는 연구자로 성장할 수 있도록 지도합니다. 대학원 신입생의 경우, 지금까지 학부 교육 내용을 바탕으로 우리 연구실의 연구에 참여하는데 필요한 기반 기술과 지식을 습득할 수 있도록 훈련하고, 이를 바탕으로 소프트웨어 공학분야에서 실제적이면서 도전할 만한 연구문제를 찾아 2년간 혹은 4년간 집중력 있게 문제해결형 연구를 수행하게 됩니다.
SDEV 연구실(이전 ARISE 연구실@HGU)의 졸업생은 현재 소프트웨어 엔지니어링 분야의 연구원 및 개발자로 활동하고 있습니다:
- 김지웅: 현재 충북대학교 박사과정 (2023년 한동대 BK21 우수연구상)
- 유한영: 현재 SAP Labs Korea (2022년 한동대 석사졸업논문상)
- 전주영: 현재 Hyundai MOBIS (2021년 한동대 석사졸업논문상, 2019년 소프트웨어공학소사이티 우수논문상 등)
- 최한솔: 현재 SuresoftTech Inc. (2021년 한동대 석사졸업논문상, 2020년 KCSE 우수논문상 등)
참여 가능한 프로젝트와 학업지원
대학원에 진학하는 학생은 지도교수가 연구책임자로 진행 중인 국책 연구 과제, 공동 연구 과제, 우수 기업체 산학 프로젝트에 참여하여 논문작성, 국내외 공동연구, SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다. 2024년 5월 현재 SDEV 연구실에서 진행 중인 연구 프로젝트는 아래와 같습니다:
- 오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 연구재단
- 지능형 자동 소스코드 수정 기술 개발, 2021-2024, 슈어소프트테크, 아크릴, KAIST, UNIST 공동연구
대학원에 진학한 학생은 국가연구과제 및 산업체R&D 과제에 참여하여 학생인건비를 받을 수 있습니다. 우리 연구실은 각종 프로젝트를 통해 대학원생이 연구과 학업에 온전히 집중할 수 있는 학업 환경을 갖추는 것을 제일 목표로 지원하고 있습니다. 또한 연구실을 거치는 동안 우리 사회의 소프트웨어 공학분야의 연구자로서 발전할 수 있도록 성장에 필요한 유형적, 무형적 자원을 적극 지원해오고 있습니다.
연락방법
대학원 진학에 관심이 있으시다면 홍신 교수(hongshin@gmail.com)에게 메일로 연락하여 상담 일정을 정하시기 바랍니다. 그 외의 궁금한 점이 있으시다면 메일로 문의 바랍니다.
-홍신