========
ARISE 연구실 2021학년 봄학기 대학원 신입생 모집
========
2021년 봄학기 ARISE 연구실(http://arise.handong.edu)에서 석사, 학석사연계, 석박사연계,
박사 학위 과정을 시작할 대학원 신입생을 모집합니다.
ARISE 연구실은 오늘날 소프트웨어 개발 현장에서 발생하는 소프트웨어 안전성(Reliability),
보안성(Security), 생산성(Productivity) 문제를 해결하기 위한 소프트웨어 엔지니어링
자동화 기법을 연구하며, 기술 중심의 소프트웨어 엔지니어링을 실현함으로써 우리 사회에
새로운 지식과 가치를 창출하는 소프트웨어 엔지니어링 전문가를 양성하는 것을 목표로 합니다.
ARISE 연구실에서는 지난 수년 간 소프트웨어 결함 자통 탐지를 위한 테스트 입력 자동 생성과
디버깅 자동화(Automated Debugging) 기법에 대한 연구를 이어오고 있으며,
최근에는 퍼징(Fuzzing)을 이용한 소프트웨어 테스팅 자동화로 연구 범위를 넓혀가고 있습니다.
이러한 연구의 일환으로 근년에 본 연구실에서는 다음과 같은 프로젝트를 수행해 오고 있습니다:
- Fuzzing을 통한 Unit Testing 성능 향상 연구, 2020, SAP Labs Korea (진행중)
- 지속적 테스팅을 위한 Fuzzing 기반 테스팅 기법 개발, 2020-2022, 한국연구재단 (진행중)
- Full-stack 소프트웨어의 자동 디버깅 기법 개발, 2017-2020, 경북대-고려대-성균관대-KAIST-POSTECH-한동대 컨소시엄, 차세대 정보 컴퓨팅 기술 개발 사업 (진행중)
- 유닛 테스트 케이스 품질 자동 측정 기법 개발(KAIST와 공동 연구), 2019, 삼성전자
- RTOS에서 멀티쓰레드 프로그램 오류 탐지를 위한 동적 분석 기술 개발, 삼성전자, 2017-2018
ARISE 연구실에서 진행한 연구 결과가 궁금하시다면 연구실 홈페이지(http://arise.handong.edu)나
홍신 교수 홈페이지(http://hongshin.github.io)에서 최근 발표한 논문 살펴보시기 바랍니다.
ARISE 연구실에서는, 한동대 교육 이념에 따라 각 학생이 소프트웨어 엔지니어링 분야의 연구자로서
세상의 변화시킬 하나님의 사람으로 성장할 수 있는 교육을 제공하고자 합니다.
ARISE 연구실로 진학할 경우, 소프트웨어 엔지니어링 연구에 기초가 되는 컴퓨팅 이론 및 전산 논리와
컴퓨터 시스템에 대한 공부를 시작으로 프로그램 분석(Program analysis), 소프트웨어 검증 및 테스팅
(Software Verification and Testing)의 최신 기술을 심도 있게 학습하여,
소프트웨어 엔지니어링, 소프트웨어 품질 관리, 컴퓨터 시스템 응용 분야에 전문성을 갖출 수 있습니다.
대학원 과정 중에는 홍신 교수가 연구책임자로 진행 중인 국책 연구 과제, 공동 연구 과제,
우수 기업체 산학 프로젝트, 국내외 공동연구 프로젝트에 참여하여 SW 개발과 실험, 논문작성 등의
연구 역량을 기를 수 있습니다. 또한, 국가 연구 과제와 우수기업과의 산학R&D 과제의 지원을 통해
연구와 학업에 온전히 집중할 수 있는 환경을 제공받으실 수 있습니다. 또한, 졸업 이후에 대기업/국책
연구소 연구원 진출 및 한동대를 포함하여 국내외 우수 대학의 박사과정에 진학할 수 있도록
적극 지원할 계획에 있습니다.
대학원 진학에 관심이 있으신 분은 10월 9일 이전에 이메일(hongshin@handong.edu)로 연락하여
면담을 신청하기 바랍니다(궁금한 점이 있는 경우에도 위 이메일로 연락하시면 됩니다).
-홍신
