대학원 학생
- 석사과정: 이영웅 (2024년 9월 ~ 현재)
- Polymorphic RPC의 다중 위치 시맨틱스 및 응용 사례
- 석사과정: 전세옥 (2024년 9월 ~ 현재)
- 석사과정: Md Monir Ahammod Bin Atique (2024년 3월 ~ 현재)
- LR 파싱과 ChatGPT/LLM을 조합한 구문 자동 완성 방법
- 석사 수료 (융합보안대학원): 박승찬 (2022년 8월 ~ 현재)
- 기호실행 기반 홈오토메이션 프로그램 취약점 분석
- 한전 KDN
- 석사 (융합보안대학원): 이아현 (2022년 3월 ~ 2024년2월)
- SW 보안약점 공유 및 활용을 위한 데이터 비식별 적용방안
- 한국인터넷진흥원
- 석사: 유재일 (2020년3월 ~ 2023년2월)
- LLVM 프레임워크 기반 자체 수정 코드 정적 분석 (악성 바이너리 코드 분석 분야) (PDF,
SW)
- 어크로스비 (병역 특례)
- 석사 (융합보안대학원): 이규해 (2020년8월 ~ 2023년2월)
- 다계층 프로그래밍언어 LINKS의 웹 취약점 분석 (웹 보안 분야) (PDF)
- 인공지능사관학교
- 석사 (융합보안대학원): 서동찬 (2020년2월 ~ 2022년2월)
- 네트워크 패킷 주요 속성 및 최적의 스태킹 모델링을 통한 이상탐지 기법 연구
- 석사: 임진택 (2020년8월, 전남대학교)
- 추상 구문 트리의 단말 노드 간 경로에 타입 정보를 추가한 특징을 사용하는 딥러닝 기반 코드 이해
(PDF,
SW)
- LIG 넥스원
- 석사: 김가영(2019년 8월, 전남대학교)
- 코딩 교육을 위한 프로그래밍 언어 환경 설계 및 구현
(PDF,
SW)
- 캐스트이즈 웹 개발자
- 석사: 고명필 (2015년 8월, 연세대학교 원주캠퍼스)
- 강건한 안드로이드 앱을 위한
인텐트 스펙의 설계와 구현
(PDF,
SW)
- 서울대 이러닝시스탬 개발 부서
포닥 연구원
- 포닥연구원: 봅 렌더스, 벨기 KU Leuven 대학 박사(2020년2월 ~ 2021년2월)
학부생(2016.9~현재, 전남대학교)
- 강효정 (2022.12~2025.2, 일본 IT기업 인턴쉽): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 신효원 (2022.12~2025.2, 구글 GCP 교육): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 양석우 (2022.12~2025.2, 서울지역 IT기업 인턴쉽): ChatGPT기반 코드 완성 VSCode 플러그인, 스몰베이직 파서 tree-sitter 오픈소스 기여
- 전세옥 (2023.3~ 2024.8, 코어시큐리티 인턴): 퍼징
- 황수연 (2022.9~ 2024.2, 취업 준비): 데이터기반 스몰베이직 프로그램 자동완성 프로그래밍 환경
- 노수지 (2022.9~2024.8, 퍼듀대학교 계절학기 교환학생)
- 김은총 (2022.9~2024.8, 보안 전문가 그룹 BoB)
- 임채승 (2022.3~2022.9, 스타트업 창업)
- 최명선 (2022.3~2022.9, 스타트업 창업)
- 황지우 (2022.3~2022.9, 스타트업 창업)
- 진성호 (2021.1~2024.8, 넥슨 서버 개발자 - 웹 개발, 구름 인턴십): 정적 분석 Cubic solver C++ 구현, C++ 과제 자동 채점
- 이정석 (2021.1~2022.12, 넥슨 취업 - 게임 개발)
- 배성희 (2020.2~ 2021.2, 네이버웍스 취업): 스마트블록 사용자 경험 평가
- 이지용 (2019.6~2020.3, 마이다스 아이티 취업 - 건설 토목 분야 구조설계 소프트웨어 국내 1위)
- 정현수 (2019.6~2020.3, 학부 졸업)
- 김상엽 (2019.8~ 2022.2, 카카오 커머스 취업): Self-modifying code (SMC) x86과 C 벤치마크
- 홍예진 (2018.3~2019.3, 학부 졸업)
- 조민우 (2018.3~2020.7, 카카오 모빌리티 취업, 현재 당근마켓 근무)
- 이호진 (2018.11~2021.7, 네이버 취업 - BIZ CIC): 블록체인 ERC20 평가 도구 웹 사이트
- 조혜빈 (2018.11~2021.6, KB캐피털 취업): 스마트블록 사용자 경험 평가
- 신승현 (2018.11~2021.7, 네이버 취업): 파서 YAPB C++ 개발
- 조문영 (2017.1~2019.2, 다음카카오 취업, 카카오톡 앱 개발): 마이스몰베이직 코딩 환경 디버거
- 박세영 (2017.1~2019.2, 한국 전력 취업): 마이스몰베이직 코딩 환경
- 김지용 (2016.10~2019.2, 학부 졸업): 마이스몰베이직 코딩 환경
- 조성모 (2016.12~2019.2, 학부 졸업): 마이스몰베이직 코딩 환경
- 정승완 (2016.11~2019.2, 성균관대 AI 대학원 진학): 마이스몰베이직 코딩 환경
- 김가영 (2016.10~2019.8, 학부 졸업 후 연구실 석사 진학): 마이스몰베이직 코딩 환경
학부생(2011.3~2016.8, 연세대학교 원주캠퍼스 컴퓨터정보통신공학부)
- 이승휘 (2016, 슈어소프트테크 취업): 인텐트 퍼징 테스트 기반 안드로이드 테스트케이스 자동 생성 방법
- 전현지 (2015, 학부 졸업): 스몰베이직 코딩 교육 튜터
- 이화중 (2016, 슈어소프트테크 취업): 인텐트 퍼징 테스트 기반 안드로이드 테스트케이스 자동 생성 방법
- 김현순 (2015~2016, 학부 졸업): 코드 중복없이 안드로이드 컴포넌트에 예외처리를 추가하는 클래스 설계 방법에 관한 연구, 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 윤성빈 (2015, 학부 졸업): 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 최지선 (2015, 학부 졸업): 안드로이드애 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 연구
- 권찬우 (2013, 학부 졸업): 연세대 원주캠퍼스 소프트웨어공학 연구실 석사 진학, 안드로이드 NFC 프로그래밍)
- 박경득 (2012, 학부 졸업 후 석사, SK 하이닉스): 유해사이트를 접속하는 안드로이드 앱을 문자열 분석으로 검사하는 시스템
- 이정현 (2011, 학부 졸업): 모바일 폰 기반 NFC를 활용한 도서관 시스템
- 박재영 (2011, 연세대학교 원주캠퍼스 박사, 삼성전자): 모바일 폰 기반 NFC를 활용한 도서관 시스템
- 김용강 (2011, GIST 박사, 공주대학교 천안캠퍼스 소프트웨어학과 교수): 모바일 폰 기반 NFC를 활용한 도서관 시스템
Last Updated: 31 June 2024.