2023년
- 2월
- 유재일 석사 졸업 (병역특례 어크로스비 스타트업 취업)
- 이규해 정보보안협동과정 석사 졸업 (광주 인공지능사관학교 4기 프로그램)
2022년
- 12월
- 진성호 넥슨 (웹 개발 분야) 취업 - 졸업 2023년 8월 예정
- 강효정, 신효원, 양석우 학부 연구원 (SmartBlock - 스마트띵스 블록프로그래밍 환경)
- 10월
- 유재일 석사학위 논문 심사: LLVM 프레임워크 기반 자체 수정 코드 정적 분석 (악성 바이너리 코드 분석 분야)
- 이규해 석사학위 논문 심사: 다계층 프로그래밍언어 LINKS의 웹 취약점 분석 (웹 보안 분야)
- 9월
- 황수연 학부 RA (데이터 기반 스몰베이직 프로그램 자동 완성 연구)
- 노수지 학부 연구생
- 8월
- 프로그래밍언어연구회 2022 여름학교를 전남대학교에서 개최
- 2022년 8월22일-24일 (대략 130여명 전국 대학과 연구소에서 참여, 퓨리오사AI 회사 후원)
- 최광훈 교수 조직위원장
- 이규해, 유재일, 진성호, 김은총, 임채승 학생이 여름학교 준비를 도움
- IET Software 저널 논문 게재
- SmartProvenance: User-friendly Provenance System for IoT Applications based on Event-flow graphs (2022년 8월 15일)
- 관련 링크
- 최광훈 교수 공과대학 기획 부학장으로 2년간 봉사하기로 함 (2022년8월~2024년7월)
- 프로그래밍언어연구회 2022 여름학교를 전남대학교에서 개최
- 6월
- 전북대학교 김은총 학생 전남대학교 교류 학생으로 연구실에 참여
- 5월
- 스승의날 기념 : 카카오에 근무하는 연구실 학부 졸업생, 김상엽과 이호진의 연구실 방문
- 4월
- 한국정보보호학회 국내 논문지 게재
- 자체수정 코드를 탐지하는 정적 분석 방법의 LLVM 프레임워크 기반 구현 및 실험 (유재일, 최광훈)
- 한국정보보호학회 국내 논문지 게재
- 3월
- 진성호 회사 구름 6개월 인턴십
- 임채승, 최명선, 황지우 학부 연구생
- 2월
- 김상엽, 이정석 학부 졸업, 서동찬 융합보안대학원 졸업
- 1월
- 진성호, KAIST 몰입캠프
2021년
- 12월
- 서동찬, 융합보안대학원 석사논문 심사
- 네트워크패 패킷 주요 속성 및 최적의 스태킹 모델을 통한 이상 탐지 기법 연구
- 이규해, 한국소프트웨어종합학술대회 포스터 논문 발표
- OWASP ZAP을 이용한 다계층 프로그래밍언어 Links의 웹 취약점 분석
- 서동찬, 융합보안대학원 석사논문 심사
- 11월
- 김상엽 카카오 커머스 합격
- 진성호 KAIST 몰입캠프 교류 예정
- 10월
- 이정석 넥슨 인턴 합격(11월 판교에서 게임 개발 클라이언트 분야 개발 담당)
- 저널 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)
- 최광훈 교수 정교수 승진
- 최광훈 교수 PPDP 2021 논문 발표
- 7월
- 신승현 네이버
- 최광훈 교수 에든버러 대학 제임스 체니(James Cheney), 샘 린들리(Sam Lindley)와 박사후과정 봅 렌더스(Bob Reynders)와 함께 PPDP 2021 논문 Accept
- A Typed Slicing Compilation for the Polymorphic RPC Calculus
- 6월
- 조혜빈 KB캐피털
- 4월
- 이호진 네이버 BIZ CIC
- 3월
- 봅 렌더스(Bob Reynders)와 최광훈 교수 ProWeb2021 논문 발표
- 웹 프로그래밍언어를 설계할 때 HTML 특징을 설계하는 방법에 관한 논문
- Bob Reynders, Kwanghoon Choi, RecHTML: A Typed Declarative HTML, ProWeb21 - Fifth International Workshop on Programming Technology for the Future Web, 22 March, 2021.
- 김상엽 네이버 스마트 에디터 인턴쉽
- 봅 렌더스(Bob Reynders)와 최광훈 교수 ProWeb2021 논문 발표
- 2월
- 배성희 네이버웍스 취업
- 1월
- 최광훈 교수 영국 에든버러대학 국외파견 (~2022년2월)
- 이사오 사사노 교수와 최광훈 교수 PEPM2021 논문 발표 (1월18-19일)
- A text-based syntax completion method using LR parsing
- 이정석(학부 4학년) 학부 연구생으로 연구실에 참여 시작
- 이성호(학부 3학년) 학부 연구생으로 연구실에 참여 시작
2020년
- 12월
- 이호진 네이버 부스트캠프 수료. 관련 활동 소개 세미나
- 김상엽 KAIST 몰입캠프 (겨울학기~2월) 참석
- 11월
- ACM PEPM 2021 국제학술대회 논문에 발표 예정(Accept)
- A Text-based Syntax Completion Method Using LR Parsing
- 일본 Shibaura Institute of Technology의 Isao Sasano 교수와 공동 연구
- ACM PEPM 2021 국제학술대회 논문에 발표 예정(Accept)
- 10월
- Journal of Computer Languages 저널에 논문 게재
- Smart Block: A Visual Block Languages and its Programming Environment for IoT [논문 링크]
- 숙명여대 박나연 (석사 졸업) 학생과 창병모 교수와 함께 연구한 결과
- Journal of Computer Languages 저널에 논문 게재
- 9월
- 서동찬 (정보보안융합대학원 석사2학기)와 이규해 (정보보안융합대학원 석사1학기) 연구실에 새로 합류
- 8월
- ICFP 2020 (International Conference on Functional Programming)의 JFP 논문 세션에서 지난 2019년도 JFP 논문 발표
- 저널에 논문을 먼저 게재한 다음 컨퍼런스에서 발표하는 형식으로 ICFP 학회에서 JFP 저널과 연계하여 처음으로 시도함.
- 조혜빈 (학부 8월 졸업) KPX 인턴십 (9월~12월)
- 이호진(학부 4학년) : 네이버 커넥트 재단의 부스트 캠프 1차 통과 및 2차 교육과정 (9월~12월) 진행!
- 진선호 (학부 2학년) 연구실에 새로 합류
- ICFP 2020 (International Conference on Functional Programming)의 JFP 논문 세션에서 지난 2019년도 JFP 논문 발표
- 7월
- 조민우(학부, 8월 졸업 예정) : 카카오 모빌리티 취업
- 조혜빈 (학부, 8월 졸업 예정) : 행정안전부, 한국정보화진흥원 주최 공공빅데이터 청년인턴십 프로그램 (사전 교육 후 공공 기관 인턴 배치)
- 배성희 (학부, 8월 졸업 예정): SK브로드밴드 인턴십 (7주 인턴십 진행 후 최종 면접을 거쳐 입사)
- 5월
- 4월
- 국가보안기술연구소 과제 (4월~10월): SMC 코드 분석
- KSII Trans. on Internet and Information Systems (TISS) 저널에 논문 게재 채택됨(accepted)
- Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi, A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis, Apirl, 2020.
- 학부 연구생 발표 (김상엽, 이호진, 조혜빈) - 스프링프레임워크
- 3월
- 유재일 석사 1년차 연구실에 새로 합류
- IET Software 저널에 논문 게재 채택됨(accepted)
- Na-Yeon Bak, Byeong-Mo Chang, Kwanghoon CHoi, SmartVisual: A Visualisation Tool for SmartThings IoT Apps Using Static Analysis, IET Software, March 2020.
- 2월
- 박사후과정 연구원 Bob Reynders 연구실 합류 (2020.2 ~ 2021.2)
- 김상엽, 42 Seoul 단기 프로그램 참여
- 조혜빈, 배성희, 전세옥, 조진성, KAIST 몰입캠프 겨울학기 참여 활동 발표
- 배성희 학부 4학년 연구실 참여
- 신승현 학부 졸업
- 이지용, 42 Seoul 단기 및 2년 프로그램 참여
- 1월
- 이호진 새 멤버 세미나 (1월10일)
- Ruby on Rails의 고급 주제
- LR 오토마타 생성 모듈을 공유하고 범용 프로그래밍언어로 명세를 작성하는 파서 생성 도구, 정보과학회논문지(소프트웨어및응용), 게재
- 임진택, 김가영, 신승현, 최광훈, 김익순 (논문 링크, 슬라이드 링크)
- 신승현, SSAFY (삼성 청년 SW 아카데미)에 1년간 프로그램 참여
- 조혜빈, KAIST 몰입캠프 겨울학기 참여
- 이호진 새 멤버 세미나 (1월10일)
2019년
- 11월
- 10월
- 벨기에 케이유 루벤 대학(KU Leuven, Belgium)의 봅 렌더스 박사(Dr. Bob Reynders) 2주간 연구실 방문 (10/28~11/8, 2주)
- 본인 박사학위 주제 Reactive programming과 우리 연구실의 연구 주제 RPC calculus를 접목하여 리액트브 아르피씨 캘큐러스를 설계하는 주제를 논의
- 최광훈 교수 2020년 제8회 MSFP (Mathematically Structured Functional Programming) 워크숍 프로그램위원으로 활동
- 벨기에 케이유 루벤 대학(KU Leuven, Belgium)의 봅 렌더스 박사(Dr. Bob Reynders) 2주간 연구실 방문 (10/28~11/8, 2주)
- 9월
- 일본 시바우라 기술 대학 사사노 이사오 교수(Prof. Isao Sasano, Shibaura Institute of Technology, Japan) 방문 2020년 여름 공동 프로그램 gPBL 2020 진행 준비 논의
- 2020년 8월 SIT 학생 5명과 전남대 학생 5명으로 구성된 팀을 이루어 공동 SW 개발 프로젝트를 진행
- 일본 시바우라 기술 대학 사사노 이사오 교수(Prof. Isao Sasano, Shibaura Institute of Technology, Japan) 방문 2020년 여름 공동 프로그램 gPBL 2020 진행 준비 논의
- 8월
- 7월
- 최광훈 교수 에딘버러 대학 방문 및 공동 연구 (2019.7.1 ~ 8.23)
- Skye/Links 팀 제임스 체니 교수 (LFCS, The University of Edinburgh)
- A theory of rpc calculi for client-server model 발표 및 공동 연구 논의
- 발표 자료 : A Theory of RPC Calculi for Client-Server Model
- 공동 연구 : A Polymorphic RPC calculus
- 한-EU 연구자 교류 프로그램 지원
- 최광훈 교수 에딘버러 대학 방문 및 공동 연구 (2019.7.1 ~ 8.23)
- 6월
- KCC 2019 구두 발표 (임진택, 신승현) - 우수논문상 수상
- LR 오토마타 생성과 파서 도구의 분리를 통한 효율적 파서 개발 방법
- 임진택, 김가영, 신승현, 최광훈@전남대, 김익순@Etri
- 논문 링크 PDF
- 소프트웨어 :
- https:/github.com/kwanghoon/swlab_parser_builder (Java)
- https:/github.com/kwanghoon/genlrparser (LR automation, Haskell)
- https:/github.com/limjintack/swlab_parser_python (Python)
- https:/github.com/tlsdorye/swlab-parser-lib (C++)
- 새 연구실 멤버
- 정현수, 이지용
- KCC 2019 구두 발표 (임진택, 신승현) - 우수논문상 수상
- 5월
- 지역대학우수과학자 과제 선정 (2019년6월 ~ 2024년 5월, 총 2억5천만원)
- 마이크로서비스 아키텍처 기반 클라우드의 SaaS 개발을 위한 타입 이론 기반 프로그래밍언어 설계
- 김가영 석사학위 논문 심사 통과
- 코딩 교육을 위한 프로그래밍언어 환경 설계 및 구현
- 석사 학위 논문
- 지역대학우수과학자 과제 선정 (2019년6월 ~ 2024년 5월, 총 2억5천만원)
- 3월
- Journal of Functional Programming (JFP) 논문 게재
- 최광훈 : A Theory of RPC Calculi for Client-Server Model
- 논문 링크
- 소프트웨어 : https://github.com/kwanghoon/rpccalculi
- JFP는 1991년부터 영국 캠브리지대학 출판사에서 출판해온 유명한 국제 저널이고, 함수형 프로그래밍 언어 분야를 다루는 세계에서 유일한 저널 (SCIE 저널)
- 국내 한국컴퓨터정보학회논문지 게제
- UniPy: MGC 기반 사물인터넷 시스템을 위한 통합 프로그래밍언어
- 김가영, 최광훈
- 논문 링크
- 소프트웨어 : https://github.com/Kim-Gayoung/unipy
- Journal of Functional Programming (JFP) 논문 게재
- 2월
- 학부연구생 졸업 및 취업!!
- 조문영 : 다음카카오 취업
- 박세영 : 한국 전력 취업
- 정승완 : 청년 TLO 프로그램 - 연구실 연구원 (~ 2019년 10월)
- 조성모
- 학부연구생 졸업 및 취업!!
- 1월
- 2019 한국 소프트웨어공학 학술대회 논문 발표 (클라이언트-서버 통합 프로그램 컴파일 구현)
- 김가영, 최광훈 : 위치 분석 기반 통합 클라이언트-서버 프로그램 컴파일 방법 구현 (구두 발표)
- 논문 다운로드 링크
- 소프트웨어 : https://github.com/kwanghoon/rpccalculi
- 2019 한국소프트웨어공학 학술대회 논문 발표 (이더리움 블록체인의 스마트컨트랙트 테스팅) (단편 논문 분야 우수 논문 선정)
- 최광훈 : 솔리디티 스마트 컨트랙트의 스크립트 기반 시나리오 테스트
- 서강대학교 문현아, 박수용 교수와 공동 연구
- 논문 다운로드 링크
- 소프트웨어 : https://github.com/kwanghoon/ethereumj/tree/working
- 동계 머신러닝 캠프 (한동대) 참석
- 임진택
- 2019 한국 소프트웨어공학 학술대회 논문 발표 (클라이언트-서버 통합 프로그램 컴파일 구현)
2018년
- 12월
- 2019 한국소프트웨어종합학술대회 (12/18~20), 평창 휘닉스파크 참석
- 김가영, 임진택, 조민우, 신승현
- 한국정보과학회 논문지 국내저널 정보과학회 컴퓨팅의 실제논문지 12월호 논문게재
- 최광훈, 김가영
- 논문 제목 : 스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발
- 논문 다운로드 링크
- 소프트웨어 : https://github.com/kwanghoon/mysmallbasic
- 2018 한국소프트웨어종합학술대회 (KSC2018) 우수논문상 입상
- 최광훈 (숙명여자대학교 프로그래밍언어 연구실과 공동 연구)
- 논문 제목: SmartThings 스마트앱을 위한 실시간 모니터 구현
- 논문 다운로드 링크
- 사물인터넷 - 삼성 스마트띵스SmartThings와 프로그래밍언어(PL)를 접목시킨 연구
- 2019 한국소프트웨어종합학술대회 (12/18~20), 평창 휘닉스파크 참석
- 11월
- 학부 연구생, 신승현과 조혜빈 합류
- 새로운 멤버 환영회 : 광주비엔날레 관람 및 제문헌 건물 식당에서 회식
- 사진
- 학부 연구생, 신승현과 조혜빈 합류
- 9월
- 임진택 석사과정 입학
- 현대 인공지능(Modern AI) 특히 딥러닝 기술과 프로그래밍언어(PL)을 접목시킨 주제로 석사 연구를 진행할 계획임
- 국제저널 Transactions on Internet and Information Systems (TIIS) 논문 게재 (SCIE)
- 임진택 석사과정 입학
- 7월
- 해외학술대회 SCA2018 논문 발표 (일본 토쿄)
- 최광훈
- IEEE International Workshop on Smart Computing and Applications, COMPSAC)
- 논문 제목 : Smart Block: A Visual Programming Environment for SmartThings
- 숙명여자대학교 프로그래밍언어 연구실과 공동 연구
- 사물인터넷 - 삼성 스마트띵스SmartThings와 프로그래밍언어(PL)를 접목시킨 연구
- 해외학술대회 SCA2018 논문 발표 (일본 토쿄)
- 3월
- 연구실 개강 파티
- 전남대 중앙도서관 앞 뜰에서 치맥 파티!
- 김가영, 조문영, 박세영, 홍예진, 정승완, 김지용, 조민우 참석
- 사진
- 연구실 개강 파티
- 3월
- 중견연구과제 2차년도 시작
- 연구책임자 최광훈 (숙명여자대학교 창병모 교수와 공동 연구)
- 1억원/연
- 통합프로그래밍언어 설계및 구현에 관한 연구
- 사물인터넷(IoT)와 프로그래밍언어(PL)을 접목시킨 연구 주제
- 중견연구과제 2차년도 시작
- 2월
- 한국정보과학회지 논문지 국내저널, 정보과학회 컴퓨팅의 실제논문지 2월호 논문 게재
- 최광훈
- 논문 제목 : 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE 에뮬레이터
- 소프트웨어 : https://github.com/kwanghoon/emulBLE
- 서강대학교 소프트웨어공학 연구실과 공동 연구
- 안드로이드 모바일 앱과 프로그래밍언어(PL)를 접목시킨 연구 주제
- 학부연구생 조문영 학부생 포스터 논문 최우수상 수상!!
- 조문영, 최광훈
- 2017년 한국소프트웨어종합학술대회, 학부생 포스터 논문
- 논문 제목 : 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구
- 소프트웨어 : https://github.com/kwanghoon/mysmallbasic
- 코딩 교육과 프로그래밍언어(PL)를 접목시킨 연구 주제
- SIGPL 겨울학교 참가
- 김가영, 최광훈
- 한국정보과학회지 논문지 국내저널, 정보과학회 컴퓨팅의 실제논문지 2월호 논문 게재
2017년
- 12월
- 2017 한국소프트웨어종합학술대회(KSC2017) 학부생 포스터 논문 발표 [ 사진 ]
- 김가영 : 아두이노 기반 사물인터넷을 위한 통합 프로그래밍 방법에 관한 연구
- 조문영 : 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구
- 2017 한국소프트웨어종합학술대회(KSC2017) 학부생 포스터 논문 발표 [ 사진 ]
- 11월
- 제11회 공개SW개발자대회 일반부문 은상(공개SW협회장상) 수상 - 마이스몰베이직
- 6월
- 전남대학교 개교기념일 행사에서 최광훈 교수 우수 신임교수 수상 [ 사진 ]
- 3월
- 학석사 통합과정 김가영 입학
- 클라이언트 서버 통합 프로그래밍을 위한 언어 설계 및 구현에 관한 석사 연구를 수행할 계획
- 한국과학재단 중견연구 과제 <다계층 IoT 응용프로그램을 위한 통합 프로그래밍 모델 및 자동 코드 생성에 관한 연구> 시작
- 연구책임자 최광훈
- 2017.3~2020.2 (3년) 연구비 3억원.
- 학석사 통합과정 김가영 입학
- 1월
- 학부연구생 박세영과 조문영 연구실 합류
- 전남대학교 신진연구자 과제 <교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발> 시작
- 연구책임자 최광훈
- 2017.1~2018.12 (2년) 연구비 3천만원 .
2016년
- 12월
- 학부연구생 조성모 연구실 합류
- 한국정보과학회 동계학술발표대회 학부생 포스터 논문 장려상 수상 (김가영, 김지용, 정승완) [ 학술대회 참가보고서 ]
- 11월
- 학부연구생 김지용과 정승완 연구실 합류
- 10월
- 학부연구생 김가영 연구실 합류
- 9월
- 최광훈 교수 전남대학교 공과대학 전자통신공학부 부임 및 소프트웨어언어 및 시스템 연구실 시작