연구실 뉴스
- 2026년
- 2025년
- 12월: 25년 8월 졸업 강효정 한전KDN, 신효원 소상공인시장진흥공단, 양석우 GS 네오텍 취업
- 12월: 26년 2월 졸업 예정 김경재 오션드라이브 스튜디오(게임 개발) 취업
- 10월 16일: Splash Student Research Competition (싱가포르) - 이현진, On a Multitier Programming Language
- 9월: 중견연구(창의연구형) 연구과제 (2025.9~2028.8) - LR 파싱 기반 구문 통계를 활용한 LLM 기반 코드 완성 향상 기법, 연구책임자: 최광훈
- 9월: J. Computer Languages 논문 게재 - Improving LLM-based Code Completion Using LR Parsing, Journal of Computer Languages, September 2025. (LINK) / Md Monir Ahammod Bin Atique, Hyeon-Ah Moon, Isao Sasano, Kwanghoon Choi
- 8월 27일-28일: 2025 AI대학원 심포지엄 포스터 발표 (여의도 FKI Tower) - Monir, LLM-based Code Completion Using LR Parsing
- 8월 20일-22일: 2025 프로그래밍언어연구회 여름학교 포스터 발표 (서강대학교) - 이현진, Multi-tier Actor Programming Language Design and Implementation
- 8월 20일-22일: WISA 2025 (정보보안 국제학회) 포스터 논문 2편 발표 - Se-Ok Jeon, Seokhwi Kim and Kwanghoon Choi, Analyzing the Limitations of CVE-Based Source-Code Vulnerability Slice Extraction; Jueon Choi, Gunjin Cha, Misoo Kim, Ieck-Chae Eum and Kwanghoon Choi, A Method for Selecting Security Checklist Items Associated with Incidents by Analyzing Security Incident Reports and Vulnerability Checklists Using LLM; 자세한 사항은 웹 페이지 참고
- 7월: Monir 석사논문 학위 심사 통과 축하 및 새로운 연구실 멤버 환영 - 아시아문화전당 애호가의편지 전시관 관람, 퍼스트네팔 광주본점 저녁식사, 연구실 사진
- 7월: 전세옥 CISA 정보보안 자격증 합격
- 5월: 드론이나 자율 자동차의 5G/6G 무선 통신 안테나 선택용 뉴럴넷의 강건성 검증, IEEE Access 국외 저널 논문 게재가 판정 - Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications, IEEE Access, 2025 (Accepted for publication), Jaekwon Kim, Hyosang Lim (Yonsei Univ.), Kwanghoon Choi
- 5월: 연구실 새로운 구성원 - 학부 연구생 윤상권
- 4월 27일: SERP5IOT 논문 발표 (SmartBlock과 이식성) - Towards a Portable Implementation of a Visual Block Language for IoT Applications, 7th International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2025), Ottawa, Canada / Jaekwon Kim, Hyosang Lim (Yonsei Univ.), Kwanghoon Choi (Chonnam National Univ.)
- 4월: 연구실 새로운 구성원 - 학부 연구생 정민수, 정보보안융합학과 김승희
- 3월: 이현진 (인공지능융합학과, 석사과정) 입학
- 1월: (주)케이사인 자동차 충전기 보안 소프트웨어 및 네트워크 취약점 탐지 위탁과제 (최광훈 책임 연구자)
- 2024년
- 12월: SERP4IOT 논문 Accept - Towards a Portable Implementation of a Visual Block Language for IoT Applications, 7th International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2025), Ottawa, Canada, 27 April 2025 / Kwanghoon Choi, Sujee Noh, Kyungjae Kim, Seungchan Park (Chonnam National Univ.), Hyeon-Ah Moon (Sogang Univ.), Byeong-Mo Chang (Sookmyung Women's Univ.)
- 12월: 프로그래밍 언어 역사 워크숍 (KSC2024) - 직접 실행해보는 프로그래밍 언어 수업 발표, 발표 자료, 동영상
- 12월 19일: 전남대학교 공과대학 공로-봉사 우수교수상 (최광훈)
- 10월 10일-11일: 전세옥, 최광훈 CPS 보안 학회 참여 (제주)
- 9월: 전세옥 (정보보안융합학과, 석사과정), 이영웅 (인공지능융합학과, 석사과정) 입학
- 9월: 이현진 학부 연구생 SWLAB 연구실 참여
- 7월: SCSS 2024 Work-in-progress 논문 Accept - Improving LLM-based Code Completion Using LR Parsing-Based Candidates (Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano and Hyeon-Ah Moon), SCSS 2024 (8월 28일-30일, 도쿄이과대학 카구라자카 캠퍼스)
- 5월: (주)케이사인과 전기자동차충전기보안 주제로 산학협력과제 (4년, 2024년~2027년) - 주제1: 퍼징 기반 전기 자동차 충전기 보안 프로토콜 OCPP와 ISO15118 취약점 탐지, 주제2: LLM 활용 소스/바이너리 수준 OSS 취약점 탐지
- 4월 25일-27일: 한국인터넷정보학회 춘계학술발표대회 학부생 포스터 논문 2편 발표 (부산 해운대센텀호텔) - 노수지, 김경재, 최광훈, 창병모, 홈 오토메이션 앱 시뮬레이터 설계; 강효정, 신효원, 양석우, 최광훈, 오픈소스 소프트웨어 트리 시터를 활용한 스몰베이직 파서 개발
- 4월 8일-12일: 황수연, 최광훈 (서강대 문현아 박사, 시바우라공업대 이사오 사사노 교수) 국제학술대회 ACM SAC 2024 논문 발표 - Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano, Ranked Syntax Completion Using LR Parsing, ACM/SIGAPP Symposium on Applied Computing, pp.1242-1251, Avila, Spain (PDF, DOI, SLIDE), 학부 연구생 황수연 2번째 저자 참여, BK21 우수국제학술대회
- 2월: 석사과정생 Md Monir Ahammod Bin Atique 입학 - LR 파싱과 ChatGPT/LLM을 조합한 구문 자동 완성 방법
- 2월: 석사과정 이아현 졸업 - 한국인터넷진흥원 근무
- 2023년
- 11월: ACM SAC 2024에 논문 발표 (Accepted to Appear) - Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano, Ranked Syntax Completion Using LR Parsing, ACM/SIGAPP Symposium on Applied Computing, Avila, Spain, April 2024 (Accepted to Appear), 학부 연구생 황수연 2번째 저자 참여
- 9월: 제4회 호남사이버보안 컨퍼런스 최우수논문상 (전세옥, 김은총, 최광훈, 그래머 퍼징을 활용한 웹 취약점 자동 탐색 도구 개발 및 평가) - 발표 자료, 사진
- 7월: 2023년 정보보호 특성화대학 사업 선정 (최광훈 교수 사업책임자)
- 6월: 김은총, BoB 보안 교육 과정 합격
- 6월: 황수연, KCC 2023 학부 포스터 논문 발표 (황수연, 최광훈, 문현아, 구문 구조를 제안하는 스몰베이직 코딩 교육 환경)
- 6월: 노수지, KAIST 몰입캠프 (여름 계절학기)
- 6월: 노수지, 양석우, 프로그래밍 경진대회 수상
- 4월: Science of Computer Programming 저널에 Isao Sasano 교수와 공동 연구한 논문 게재 채택
- 4월: 이아현(융합보안대학원 석사과정), 박순태 교수와 공동 연구한 SW 보안약점 공유 및 활용을 위한 데이터 비식별 적용방안에 관한 논문을 제33회 통신정보 합동학술대회에서 이아현 학생이 포스터 발표
- 4월: 카카오테크캠퍼스 1기 선발 - 강효정, 신효원, 황수연
- 3월: 신수민 학부 연구원 (블록체인 - 스마트계약 Solidity 프로그래밍)
- 2월: 유재일 석사 졸업 (병역 틀례 어크로스비 스타트업 취업)
- 2월: 이규해 정보보안협동과정 석사졸업 (광주 인공지능사관학교 4기 프로그램)
- 2022년
- 12월: 진성호 넥슨 (웹 개발 분야) 취업 - 졸업 2023년 8월 예정
- 12월: 강효정, 신효원, 양석우 학부 연구원 (SmartBlock - 스마트띵스 블록프로그래밍 환경)
- 10월: 유재일 석사학위 논문 심사 - LLVM 프레임워크 기반 자체 수정 코드 정적 분석 (악성 바이너리 코드 분석 분야)
- 10월: 이규해 석사학위 논문 심사 - 다계층 프로그래밍언어 LINKS의 웹 취약점 분석 (웹 보안 분야)
- 9월: 황수연 학부 RA (데이터 기반 스몰베이직 프로그램 자동 완성 연구)
- 9월: 노수지 학부 연구생
- 9월: 임채승, 최명선, 황지우 학부생 스타트업 창업
- 8월 22일-24일: 프로그래밍언어연구회 2022 여름학교를 전남대학교에서 개최 - 대략 130여 명 전국 대학과 연구소에서 참여, 퓨리오사AI 회사 후원, 최광훈 교수 조직위원장, 이규해·유재일·진성호·김은총·임채승 지원
- 8월 15일: IET Software 저널 논문 게재 - SmartProvenance: User-friendly Provenance System for IoT Applications based on Event-flow graphs
- 8월: 최광훈 교수 공과대학 기획 부학장으로 2년간 봉사하기로 함 (2022년 8월~2024년 7월)
- 6월: 전북대학교 김은총 학생 전남대학교 교류 학생으로 연구실에 참여
- 5월: 스승의날 기념 - 카카오에 근무하는 연구실 학부 졸업생 김상엽과 이호진의 연구실 방문
- 4월: 한국정보보호학회 국내 논문지 게재 - 자체수정 코드를 탐지하는 정적 분석 방법의 LLVM 프레임워크 기반 구현 및 실험 (유재일, 최광훈)
- 3월: 진성호 회사 구름 6개월 인턴십
- 3월: 임채승, 최명선, 황지우 학부 연구생
- 2월: 김상엽, 이정석 학부 졸업, 서동찬 융합보안대학원 졸업
- 1월: 진성호, KAIST 몰입캠프
- 2021년
- 12월: 서동찬, 융합보안대학원 석사논문 심사 - 네트워크패 패킷 주요 속성 및 최적의 스태킹 모델을 통한 이상 탐지 기법 연구
- 12월: 이규해, 한국소프트웨어종합학술대회 포스터 논문 발표 - OWASP ZAP을 이용한 다계층 프로그래밍언어 Links의 웹 취약점 분석
- 11월: 김상엽 카카오 커머스 합격
- 10월: 이정석 넥슨 인턴 합격 (11월 판교에서 게임 개발 클라이언트 분야 개발 담당)
- 10월: 저널 Journal of Computer Languages 2020년 우수 논문 Nomination (3위) - Smart Block: A Visual Block Language and Its Programming Environment for IoT (박나연, 창병모: 숙명여대, 최광훈: 전남대)
- 9월: 최광훈 교수 PPDP 2021 논문 발표 - A Typed Slicing Compilation for the Polymorphic RPC Calculus (Arxiv), 에든버러 대학 James Cheney, Sam Lindley와 박사후과정 Bob Reynders와 공동
- 9월: 최광훈 교수 정교수 승진
- 7월: 신승현 네이버 합격
- 6월: 조혜빈 KB캐피털 합격
- 4월: 이호진 네이버 BIZ CIC
- 3월 22일: Bob Reynders와 최광훈 교수 ProWeb21 논문 발표 - Bob Reynders, Kwanghoon Choi, RecHTML: A Typed Declarative HTML, ProWeb21 - Fifth International Workshop on Programming Technology for the Future Web
- 2월: 배성희 네이버웍스 취업
- 1월~2022년 2월: 최광훈 교수 영국 에든버러대학 국외파견
- 1월 18일-19일: 이사오 사사노 교수와 최광훈 교수 PEPM2021 논문 발표 - A text-based syntax completion method using LR parsing
- 1월: 이정석(학부 4학년) 학부 연구생으로 연구실에 참여 시작
- 1월: 이성호(학부 3학년) 학부 연구생으로 연구실에 참여 시작
- 2020년
- 12월: 이호진 네이버 부스트캠프 수료, 관련 활동 소개 세미나
- 12월: 김상엽 KAIST 몰입캠프 (겨울학기~2월) 참석
- 11월: Journal of Computer Languages 저널에 논문 게재 - Smart Block: A Visual Block Languages and its Programming Environment for IoT, 숙명여대 박나연(석사 졸업) 학생과 창병모 교수와 함께 연구한 결과
- 9월: 서동찬 (정보보안융합대학원 석사 2학기)와 이규해 (정보보안융합대학원 석사 1학기) 연구실에 새로 합류
- 8월: ICFP 2020의 JFP 논문 세션에서 지난 2019년도 JFP 논문 발표 - 저널에 논문을 먼저 게재한 다음 컨퍼런스에서 발표하는 형식으로 ICFP 학회에서 JFP 저널과 연계하여 처음으로 시도
- 8월: 조혜빈 (학부 8월 졸업) KPX 인턴십 (9월~12월)
- 8월: 이호진(학부 4학년), 네이버 커넥트 재단의 부스트 캠프 1차 통과 및 2차 교육과정 (9월~12월) 진행
- 8월: 진성호 (학부 2학년) 연구실에 새로 합류
- 7월: 조민우(학부, 8월 졸업 예정) 카카오 모빌리티 취업
- 7월: 조혜빈 (학부, 8월 졸업 예정), 행정안전부·한국정보화진흥원 주최 공공빅데이터 청년인턴십 프로그램 참여
- 7월: 배성희 (학부, 8월 졸업 예정), SK브로드밴드 인턴십
- 5월: Science of Computer Programming (SCP) 저널에 논문 게재 채택 - A Polymorphic RPC Calculus (SBMF2019 학술대회 논문을 저널 버전으로 확장)
- 5월: 학부 연구생 발표 (배성희) - GraphQL
- 4월~10월: 국가보안기술연구소 과제 - SMC 코드 분석
- 4월: KSII Trans. on Internet and Information Systems (TISS) 저널에 논문 게재 채택 - Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi, A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis, April 2020
- 4월: 학부 연구생 발표 (김상엽, 이호진, 조혜빈) - 스프링프레임워크
- 3월: 유재일 석사 1년차 연구실에 새로 합류
- 3월: IET Software 저널에 논문 게재 채택 - Na-Yeon Bak, Byeong-Mo Chang, Kwanghoon Choi, SmartVisual: A Visualisation Tool for SmartThings IoT Apps Using Static Analysis, IET Software, March 2020
- 2월~2021년 2월: 박사후과정 연구원 Bob Reynders 연구실 합류
- 2월: 김상엽, 42 Seoul 단기 프로그램 참여
- 2월: 조혜빈, 배성희, 전세옥, 조진성, KAIST 몰입캠프 겨울학기 참여 활동 발표
- 2월: 배성희 학부 4학년 연구실 참여
- 2월: 신승현 학부 졸업
- 2월: 이지용, 42 Seoul 단기 및 2년 프로그램 참여
- 1월 10일: 이호진 새 멤버 세미나 - Ruby on Rails의 고급 주제
- 1월: LR 오토마타 생성 모듈을 공유하고 범용 프로그래밍언어로 명세를 작성하는 파서 생성 도구, 정보과학회논문지(소프트웨어및응용) 게재 - 임진택, 김가영, 신승현, 최광훈, 김익순
- 1월: SSAFY (삼성 청년 SW 아카데미)에 1년간 프로그램 참여
- 1월: KAIST 몰입캠프 겨울학기 참여
- 2019년
- 11월 27일-29일: SBMF (22th Brazilian Symposium on Formal Methods), 브라질 상파울루 대학 발표 - A Polymorphic RPC Calculus, 에딘버러 대학 연구팀(James Cheney, Simon Fowler, Sam Lindley)과 공동 연구
- 11월 8일-10월 28일경: 벨기에 케이유 루벤 대학(KU Leuven, Belgium)의 봅 렌더스 박사 2주간 연구실 방문 - Reactive programming과 RPC calculus를 접목한 Reactive RPC calculus 주제 논의
- 11월: 최광훈 교수 2020년 제8회 MSFP 워크숍 프로그램위원으로 활동
- 9월: 일본 시바우라 기술 대학 사사노 이사오 교수 방문 - 2020년 여름 공동 프로그램 gPBL 2020 진행 준비 논의
- 8월: 김가영 석사과정 졸업 - 코딩 교육을 위한 프로그래밍언어 환경 설계 및 구현
- 8월: 김상엽 새 연구실 멤버
- 8월: 정승완, 성균관대 AI 대학원 진학
- 7월 1일~8월 23일: 최광훈 교수 에딘버러 대학 방문 및 공동 연구 - A theory of rpc calculi for client-server model 발표 및 공동 연구 논의, 한-EU 연구자 교류 프로그램 지원
- 6월: KCC 2019 구두 발표 (임진택, 신승현) - 우수논문상 수상, LR 오토마타 생성과 파서 도구의 분리를 통한 효율적 파서 개발 방법, 임진택·김가영·신승현·최광훈·김익순
- 6월: 새 연구실 멤버 정현수, 이지용
- 5월: 지역대학우수과학자 과제 선정 (2019년 6월~2024년 5월, 총 2억5천만원) - 마이크로서비스 아키텍처 기반 클라우드의 SaaS 개발을 위한 타입 이론 기반 프로그래밍언어 설계
- 5월: 김가영 석사학위 논문 심사 통과 - 코딩 교육을 위한 프로그래밍언어 환경 설계 및 구현
- 3월: Journal of Functional Programming (JFP) 논문 게재 - 최광훈, A Theory of RPC Calculi for Client-Server Model
- 3월: 국내 한국컴퓨터정보학회논문지 게재 - UniPy: MGC 기반 사물인터넷 시스템을 위한 통합 프로그래밍언어, 김가영·최광훈
- 2월: 조문영 다음카카오 취업
- 2월: 박세영 한국전력 취업
- 2월: 정승완 청년 TLO 프로그램 연구실 연구원 (~2019년 10월)
- 2월: 조성모 학부 졸업
- 1월: 2019 한국 소프트웨어공학 학술대회 논문 발표 - 김가영, 최광훈, 위치 분석 기반 통합 클라이언트-서버 프로그램 컴파일 방법 구현 (구두 발표)
- 1월: 2019 한국소프트웨어공학 학술대회 논문 발표 (이더리움 블록체인의 스마트컨트랙트 테스팅) - 최광훈, 솔리디티 스마트 컨트랙트의 스크립트 기반 시나리오 테스트, 단편 논문 분야 우수 논문 선정
- 1월: 동계 머신러닝 캠프 (한동대) 참석 - 임진택
- 2018년
- 12월 18일-20일: 2019 한국소프트웨어종합학술대회, 평창 휘닉스파크 참석 - 김가영, 임진택, 조민우, 신승현
- 12월: 최광훈, 김가영 - 논문 제목: 스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발
- 12월: 2018 한국소프트웨어종합학술대회(KSC2018) 우수논문상 입상 - SmartThings 스마트앱을 위한 실시간 모니터 구현
- 11월: 학부 연구생 신승현과 조혜빈 합류, 새로운 멤버 환영회
- 9월: 임진택 석사과정 입학 - 현대 인공지능 특히 딥러닝 기술과 프로그래밍언어를 접목시킨 주제로 석사 연구 진행 계획
- 9월: 국제저널 Transactions on Internet and Information Systems (TIIS) 논문 게재 (SCIE) - A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps
- 7월: 해외학술대회 SCA2018 논문 발표 (일본 도쿄) - Smart Block: A Visual Programming Environment for SmartThings
- 3월: 연구실 개강 파티 - 전남대 중앙도서관 앞 뜰에서 치맥 파티, 김가영·조문영·박세영·홍예진·정승완·김지용·조민우 참석
- 2월: 한국정보과학회지 논문지 국내저널, 정보과학회 컴퓨팅의 실제논문지 2월호 논문 게재 - 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE 에뮬레이터
- 2월: 안드로이드 모바일 앱과 프로그래밍언어를 접목시킨 연구 주제 - 학부연구생 조문영 학부생 포스터 논문 최우수상 수상, 2017년 한국소프트웨어종합학술대회, 논문 제목: 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구
- 2월: SIGPL 겨울학교 참가 - 김가영, 최광훈
- 2017년
- 12월: 한국소프트웨어종합학술대회(KSC2017) 학부생 포스터 논문 발표 - 김가영, 아두이노 기반 사물인터넷을 위한 통합 프로그래밍 방법에 관한 연구
- 12월: 한국소프트웨어종합학술대회(KSC2017) 학부생 포스터 논문 발표 - 조문영, 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구
- 11월: 제11회 공개SW개발자대회 일반부문 은상(공개SW협회장상) 수상 - 마이스몰베이직
- 6월: 전남대학교 개교기념일 행사에서 최광훈 교수 우수 신임교수 수상
- 3월: 학석사 통합과정 김가영 입학 - 클라이언트 서버 통합 프로그래밍을 위한 언어 설계 및 구현에 관한 석사 연구 수행 계획
- 3월: 한국과학재단 중견연구 과제 시작 - 다계층 IoT 응용프로그램을 위한 통합 프로그래밍 모델 및 자동 코드 생성에 관한 연구, 연구책임자 최광훈, 2017.3~2020.2, 연구비 3억원
- 1월: 학부연구생 박세영과 조문영 연구실 합류
- 1월: 전남대학교 신진연구자 과제 시작 - 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발, 연구책임자 최광훈, 2017.1~2018.12, 연구비 3천만원
- 2016년
- 12월: 학부연구생 조성모 연구실 합류, 한국정보과학회 동계학술발표대회 학부생 포스터 논문 장려상 수상 (김가영, 김지용, 정승완)
- 11월: 학부연구생 김지용과 정승완 연구실 합류
- 10월: 학부연구생 김가영 연구실 합류
- 9월: 최광훈 교수 전남대학교 공과대학 전자통신공학부 부임 및 소프트웨어언어 및 시스템 연구실 시작