학생 모집

KAIST 전산학부 프로그래밍 시스템 연구실에서는 안전하고 손쉬운 프로그래밍 시스템을 위한 연구를 함께 수행할 학생을 모집합니다. 관심이 있는 학생은 본인 이력서, 성적표, Github 계정, 지금껏 만들어본 것중 제일 큰 프로그램의 Github 저장소를 허기홍 교수에게 이메일로 보내주세요.

연구주제

우리 연구실은 안전한 소프트웨어 세상을 만드는 프로그래밍 언어 기술와 인공지능 기술을 연구합니다. 대표적으로 아래와 같습니다.

• SW 오류 자동 검출
• SW 자동 변환 (예: 최적화, 오류 수정)
• SW 자동 생성

마음가짐

우리 연구실에서는 다음과 같은 마음가짐을 갖고, 아래 예시와 비슷한 생각을 하는 학생을 기다리고 있습니다.

• 간절함 (연구의 원동력): 나에게 주어진 이 소중한 청춘을, 왜 다른 것 (예: 취직, 창업, 세계일주 등) 이 아니라 연구에 바치는가?

• "세상 사람들에게 널리 쓰이는 실용적인 SW 오류 분석기를 정말 만들고 싶다"
• "SW의 동작과 SW 오류를 깊숙이 이해하고 싶다"
• "세계 최고 프로그래밍언어/소프트웨어공학/소프트웨어보안 교수/연구자/사업가가 반드시 되고 싶다."

• 호기심 (연구의 돌파력): 우리 주변에서 꼭 해결해야할 문제, 으레 그러려니 하는 문제, 다들 쉬쉬하고 있는 SW 문제는 무엇인가?

• "아니 제길, 대체 비슷한 SW 오류가 왜 반복되는 거지?" ➔ CCS22 논문으로 발전
• "아니 제길, 대체 SW 분석기는 왜 테스팅 결과를 이해하지 못하는 거지?" ➔ FSE21 논문으로 발전
• "아니 제길, 대체 SW 분석기는 왜 어제 내가 검토한 오류 보고서를 또 보라고 하는거지?" ➔ PLDI19 최우수 논문으로 발전
• "아니 제길, 대체 SW 분석기는 왜 OS처럼 자원을 효율적으로 못쓰는 거지?" ➔ ICSE19 최우수 논문으로 발전
• "아니 제길, 대체 이 많은, 쓰지도 않는 코드/라이브러리는 왜 다 불러오는 거지?" ➔ CCS18 논문으로 발전
• "아니 제길, 대체 SW 분석기는 왜 유투브나 넷플릭스처럼 내 입맛에 맞는 결과를 보여주지 않는거지?" ➔ PLDI18 논문으로 발전
• "아니 제길, 대체 SW 분석기는 왜 융통성이 없는거지?" ➔ ICSE17 논문으로 발전

• 맷집 (연구의 지구력): 내가 여기서 쓰러질것 같냐?

• "꾸준히 하다보면 언젠가는 잘 되겠지"
• "똑똑히 지켜봐라. 내가 꼭 해내는거 보여준다"
• "와신상담, 권토중래, 칠전팔기, 대기만성"

다음과 같은 배경을 가진 분이면 좋습니다.

• 프로그래밍 언어, 정보보호개론, 프로그램 논증, 프로그램 분석 수업을 재미있게 들었고, 더 깊은 이해와 응용, 확장 가능성에 관심이 있는 분

• SW가 품고 있는 수학적 원리에 관심이 많은 분

• 함수형 프로그래밍에 대한 기본적인 이해가 있는 분 (KAIST 프로그래밍의 이해, 프로그래밍 언어 과제를 무리 없이 하는 수준이면 충분)

• 프로그래밍을 좋아하고 아름다운 코드를 보면 기분이 좋아지는 분

• 실제 세계에서 돌아가는 SW시스템을 만들기 즐기는 분

대학원생

우리 연구실은 KAIST 전산학부 대학원과 정보보호대학원 합격자 중에서 대학원생을 선발합니다. 상황에 따라 두 대학원에서 모집 가능한 인원이 다를 수 있으니, 반드시 대학원 서류 제출 이전에 미리 허기홍 교수와 사전 면담을 하길 바랍니다. 연구실에서 진행하고 있는 주제는 논문, 프로젝트, 발표자료를 참고하세요.

학부생

우리 연구실은 열정있는 학부생을 위한 연구기회를 항상 열어두고 있습니다. 대학원생과 팀을 이루어 연구를 진행할 수도 있고, 직접 일을 주도하여 교수와 소통하며 일을 진행할 수도 있습니다. 연구를 해본적도 없고 어떻게 하는지도 모르겠지만, 멋진 것을 함께 만들어 보고 싶다면, 지금 바로 연락하세요.

아래는 대학원생은 물론이고, 학부생들도 도전하고 탐구해볼만한 몇가지 예시입니다.

• Github 보안관: Github 소프트웨어 보안 오류 현상금 사냥
• 전산학부 인공지능 조교: 학부생 프로그래밍 숙제 오류 자동 수정
• 코딩 빌런: 오류가 곳곳에 숨어있는 프로그램을 자동으로 만드는 학부/대학원 프로그램분석/소프트웨어보안 숙제 자동 채점기
• 프로그램 자판기: 입출력 예제로부터 프로그램을 자동으로 만들어내는 프로그램

자주 묻는 질문

• 전산학부와 정보보호대학원은 어떻게 다른가요?
정보보호대학원은 전산학부의 세부조직으로서 정보보호 관련 교육과 연구를 하는 대학원입니다. 전산학부에서 우리 연구실을 포함하여 몇몇 연구실이 정보보호대학원에 참여하고 있습니다. 따라서 전산학부 대학원 뿐만 아니라, 정보보호대학원 학생도 우리 연구실에서 함께 연구할 수 있습니다.


• 전산학부 대학원 학생과 정보보호 대학원 학생은 대학원 생활에서 어떤 점이 다른가요?
졸업을 위해 수강해야하는 과목만 다를 뿐, 생활, 연구, 지원 등 모든 것은 동일합니다. 우리 연구실에서 하는 연구는 프로그래밍 언어, 소프트웨어 공학, 소프트웨어 보안에 걸쳐 있으며, 본인의 프로그램 (전산학부든 정보보호대학원이든)에 상관없이, 지도교수와 함께 주제를 정해나갈 것입니다.


• 정보보호대학원으로 지원하고 싶은데, 해킹을 잘해야하나요?
우리 연구실의 연구와 해킹 (예: 해킹 대회 경험) 은 직접적인 상관이 없습니다. 수많은 다른 배경 (예: 프로그램 개발 경험, 알고리즘 대회 경험, 수학 경시대회 경험) 들처럼 간접적으로 도움은 되겠습니다만, 특별히 해킹 경험이 중요하지는 않습니다. 오히려, 충실히 학부 전공을 수행하였는지, 논리적이고 비판적 사고 능력이 있는지, 의사소통을 얼마나 원활히 하는 지가 더 중요합니다.