Last modified: '24.8.15 GIST 프로그램 분석 연구실에서는 안전하고 신뢰할 수 있는 소프트웨어 기반 사회를 구축하는데 이바지할, 열정과 책임감을 지닌 대학원생 및 3, 4학년 학부 인턴을 적극적으로 모집하고 있습니다 (학사논문연구 수강 목적 인턴은 모집 제외).
관심있는 학생은 아래 안내 사항을 읽고 소순범 교수에게 이메일로 연락주시기 바랍니다.
- 이메일: sunbeomso AT gist.ac.kr
우리 연구실은 GIST 오픈랩 행사에 참여하지 않습니다. 우리 연구실에 관심있는 학생은 상기 이메일 주소를 통해 면담 일정을 잡으시길 바랍니다 (Zoom을 통한 온라인 면담 가능).
연구실 지원 방법
학부 연구 인턴
학부생 연구 인턴(3, 4학년)은 제한 없이 상시 모집하고 있습니다. 학부 연구생 또한 본인의 의지와 시간 투자 정도에 따라 1저자로 연구 논문을 작성할 수 있습니다. 소순범 교수에게 개인 면담을 신청하시기 바랍니다.
대학원 신입생 (사전 컨택 권장)
(1) 자유 양식 CV, (2) 학부 성적 증명서, (3) 공인 영어 성적 증명서 (해당하는 경우), (4) 본인 참여/구현 프로젝트 GitHub repo 주소 (해당하는 경우) 를 첨부하여 소순범 교수에게 개인 면담을 신청하시기 바랍니다.
연구 환경
GIST 프로그램 분석 연구실 학생들이 세계적 수준의 인재로 성장할 수 있도록, 여건이 허락하는 한 물심양면으로 아낌없이 지원할 예정입니다.
- 생활비 지원. 학부생도 연구 프로젝트를 실제로 수행하는 경우 지원.
- 개인 컴퓨터, 서버 등 연구에 필요한 장비 지원. 학부생도 연구 프로젝트를 실제로 수행하는 경우 지원 가능.
- 주별 정기 미팅 1회 실시 + 개인 요청 혹은 지도 교수 판단 하에 필요시 추가 미팅 실시
- 해외 학회 참석 지원 (최소 조건: 국제학술대회 논문 제출)
- 연구실 출퇴근 규칙
대학원생의 경우 탑티어 국제학술대회 논문을 2편 이상 출판함으로써 자신의 능력을 객관적으로 입증하기 전까지는, 아래에 기재된 출퇴근에 관한 최소한의 규칙을 의무적으로 준수해야합니다. - 평일: 오전 9시 30분까지 연구실 출근, 오후 6시 이후 자율 퇴근 (점심시간 1시간 이내)
- 주말: 개인 자율에 맡김 / 예외: 논문 집중 작성 기간 (제출 마감일 근접 등)
연구실 졸업 요건
우리 연구 분야에서 영향력 있는 논문들은 최우수 국제학술대회에 발표되며, 구체적인 목록은 아래와 같습니다.
- 컴퓨터 보안: IEEE S&P, USENIX Security, ACM CCS, NDSS
- 소프트웨어 공학: ICSE, FSE, ASE
- 전산논리 및 검증: CAV
- 프로그래밍 언어: PLDI, POPL, OOPSLA
우리 연구실은 세계 최고 수준을 지향하며, 아래 졸업 요건을 충족시킬 수 있도록 학생 지도에 최선을 다할 것입니다.
- 석사: 1저자로 최우수 국제학술대회 논문 1편 출판 (accepted 상태 포함)
- 박사: 1저자로 최우수 국제학술대회 논문 3편 출판 (accepted 상태 포함)