News

연구실 뉴스

2024년
- 2월
  - 석사과정생 Md Monir Ahammod Bin Atique 입학 예정
  - 석사과정 이아현 졸업
2023년
- 11월
  - ACM SAC 2024에 논문 발표 (Accepted to Appear)
- 9월
  - 제4회 호남사이버보안 컨퍼런스 최우수논문상 (전세옥, 김은총, 최광훈, 그래머 퍼징을 활용한 웹 취약점 자동 탐색 도구 개발 및 평가)
- 7월
  - 2023년 정보보호 특성화대학 사업 선정 (최광훈 교수 사업책임자)
- 6월
  - 김은총, BoB 보안 교육 과정 합격
  - 황수연, KCC 2023 학부 포스터 논문 발표 (황수연, 최광훈, 문현아, 구문 구조를 제안하는 스몰베이직 코딩 교육 환경)
  - 노수지, KAIST 몰입캠프 (여름 계절학기)
  - 노수지, 양석우, 프로그래밍 경진대회 수상
- 4월
  - Science of Computer Programming 저널에 Isao Sasano 교수와 공동 연구한 논문이 게재 채택됨
  - 이아현(융합보안대학원 석사과정), 박순태 교수와 공동 연구한 SW 보안약점 공유 및 활용을 위한 데이터 비식별 적용방안에 관한 논문을 제33회 통신정보 합동학술대회에서 이아현 학생이 포스터 발표
  - 카카오테크캠퍼스 1기 선발 : 강효정, 신효원, 황수연
- 3월
  - 신수민 학부 연구원 (블록체인 - 스마트계약 Solidity 프로그래밍)
- 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월)
- 6월
  - 전북대학교 김은총 학생 전남대학교 교류 학생으로 연구실에 참여
- 5월
  - 스승의날 기념 : 카카오에 근무하는 연구실 학부 졸업생, 김상엽과 이호진의 연구실 방문
- 4월
  - 한국정보보호학회 국내 논문지 게재: 자체수정 코드를 탐지하는 정적 분석 방법의 LLVM 프레임워크 기반 구현 및 실험 (유재일, 최광훈)
- 3월
  - 진성호 회사 구름 6개월 인턴십
  - 임채승, 최명선, 황지우 학부 연구생
- 2월
  - 김상엽, 이정석 학부 졸업, 서동찬 융합보안대학원 졸업
- 1월
  - 진성호, KAIST 몰입캠프
2021년
- 12월
  - 서동찬, 융합보안대학원 석사논문 심사: 네트워크패 패킷 주요 속성 및 최적의 스태킹 모델을 통한 이상 탐지 기법 연구
  - 이규해, 한국소프트웨어종합학술대회 포스터 논문 발표: OWASP ZAP을 이용한 다계층 프로그래밍언어 Links의 웹 취약점 분석
- 11월
  - 김상엽 카카오 커머스 합격
- 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), 에든버러 대학 제임스 체니(James Cheney), 샘 린들리(Sam Lindley)와 박사후과정 봅 렌더스(Bob Reynders)
  - 최광훈 교수 정교수 승진
- 7월
  - 신승현 네이버 합격
- 6월
  - 조혜빈 KB캐피털 합격
- 4월
  - 이호진 네이버 BIZ CIC
- 3월
  - 봅 렌더스(Bob Reynders)와 최광훈 교수 ProWeb2021 논문 발표: Bob Reynders, Kwanghoon Choi, RecHTML: A Typed Declarative HTML, ProWeb21 - Fifth International Workshop on Programming Technology for the Future Web, 22 March, 2021.
- 2월
  - 배성희 네이버웍스 취업
- 1월
  - 최광훈 교수 영국 에든버러대학 국외파견 (2021년1월~2022년2월)
  - 이사오 사사노 교수와 최광훈 교수 PEPM2021 논문 발표 (1월18-19일): A text-based syntax completion method using LR parsing
  - 이정석(학부 4학년) 학부 연구생으로 연구실에 참여 시작
  - 이성호(학부 3학년) 학부 연구생으로 연구실에 참여 시작
2020년
- 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 (International Conference on Functional Programming)의 JFP 논문 세션에서 지난 2019년도 JFP 논문 발표 저널에 논문을 먼저 게재한 다음 컨퍼런스에서 발표하는 형식으로 ICFP 학회에서 JFP 저널과 연계하여 처음으로 시도함.
  - 조혜빈 (학부 8월 졸업) KPX 인턴십 (9월~12월)
  - 이호진(학부 4학년) : 네이버 커넥트 재단의 부스트 캠프 1차 통과 및 2차 교육과정 (9월~12월) 진행!
  - 진성호 (학부 2학년) 연구실에 새로 합류
- 7월
  - 조민우(학부, 8월 졸업 예정) : 카카오 모빌리티 취업
  - 조혜빈 (학부, 8월 졸업 예정) : 행정안전부, 한국정보화진흥원 주최 공공빅데이터 청년인턴십 프로그램 (사전 교육 후 공공 기관 인턴 배치)
  - 배성희 (학부, 8월 졸업 예정): SK브로드밴드 인턴십 (7주 인턴십 진행 후 최종 면접을 거쳐 입사)
- 5월
  - Science of Computer Programming (SCP) 저널에 논문 게재 채택됨 (accepted) A Polymorphic RPC Calculus (SBMF2019 학술대회 논문을 저널 버전으로 확장) ( 논문 링크 , 슬라이드 링크 )
  - 학부 연구생 발표 (배성희) - GraphQL
- 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 몰입캠프 겨울학기 참여
2019년
- 11월
  - SBMF (22th Brazilian Symposium on Formal Methods), 브라질 상파울루 대학, 11월27-29일에 발표 (최광훈 교수) 논문 제목: A Polymorphic RPC Calculus ( 논문 링크 , 슬라이드 링크 ) 에딘버러 대학 연구팀(James Cheney, Simon Fowler, Sam Lindley)과 공동 연구
  - 벨기에 케이유 루벤 대학(KU Leuven, Belgium)의 봅 렌더스 박사(Dr. Bob Reynders) 2주간 연구실 방문 (10/28~11/8, 2주) 본인 박사학위 주제 Reactive programming과 우리 연구실의 연구 주제 RPC calculus를 접목하여 리액트브 아르피씨 캘큐러스를 설계하는 주제를 논의
  - 최광훈 교수 2020년 제8회 MSFP (Mathematically Structured Functional Programming) 워크숍 프로그램위원으로 활동 https://msfp-workshop.github.io/msfp2020/
- 9월
  - 일본 시바우라 기술 대학 사사노 이사오 교수(Prof. Isao Sasano, Shibaura Institute of Technology, Japan) 방문 2020년 여름 공동 프로그램 gPBL 2020 진행 준비 논의 2020년 8월 SIT 학생 5명과 전남대 학생 5명으로 구성된 팀을 이루어 공동 SW 개발 프로젝트를 진행
- 8월
  - 김가영 석사과정 졸업: 코딩 교육을 위한 프로그래밍언어 환경 설계 및 구현
  - 김상엽 새 연구실 멤버
  - 정승완, 성균관대 AI 대학원 진학
- 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 연구자 교류 프로그램 지원
- 6월
  - KCC 2019 구두 발표 (임진택, 신승현) - 우수논문상 수상 LR 오토마타 생성과 파서 도구의 분리를 통한 효율적 파서 개발 방법 임진택, 김가영, 신승현, 최광훈, 김익순
  - 새 연구실 멤버 정현수, 이지용
- 5월
  - 지역대학우수과학자 과제 선정 (2019년6월 ~ 2024년 5월, 총 2억5천만원) 마이크로서비스 아키텍처 기반 클라우드의 SaaS 개발을 위한 타입 이론 기반 프로그래밍언어 설계
  - 김가영 석사학위 논문 심사 통과: 코딩 교육을 위한 프로그래밍언어 환경 설계 및 구현
- 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 기반 사물인터넷 시스템을 위한 통합 프로그래밍언어 김가영, 최광훈
- 2월
  - 조문영 : 다음카카오 취업
  - 박세영 : 한국 전력 취업
  - 정승완 : 청년 TLO 프로그램 - 연구실 연구원 (~ 2019년 10월)
  - 조성모 학부 졸업
- 1월
  - 2019 한국 소프트웨어공학 학술대회 논문 발표 (클라이언트-서버 통합 프로그램 컴파일 구현) 김가영, 최광훈 : 위치 분석 기반 통합 클라이언트-서버 프로그램 컴파일 방법 구현 (구두 발표)
  - 2019 한국소프트웨어공학 학술대회 논문 발표 (이더리움 블록체인의 스마트컨트랙트 테스팅) (단편 논문 분야 우수 논문 선정) 최광훈 : 솔리디티 스마트 컨트랙트의 스크립트 기반 시나리오 테스트 서강대학교 문현아, 박수용 교수와 공동 연구
  - 동계 머신러닝 캠프 (한동대) 참석 임진택
2018년
- 12월
  - 2019 한국소프트웨어종합학술대회 (12/18~20), 평창 휘닉스파크 참석 김가영, 임진택, 조민우, 신승현
  - 최광훈, 김가영 논문 제목 : 스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발
  - 2018 한국소프트웨어종합학술대회 (KSC2018) 우수논문상 입상 최광훈 (숙명여자대학교 프로그래밍언어 연구실과 공동 연구) 논문 제목: SmartThings 스마트앱을 위한 실시간 모니터 구현
- 11월
  - 학부 연구생, 신승현과 조혜빈 합류 새로운 멤버 환영회 : 광주비엔날레 관람 및 제문헌 건물 식당에서 회식
- 9월
  - 임진택 석사과정 입학 현대 인공지능(Modern AI) 특히 딥러닝 기술과 프로그래밍언어(PL)을 접목시킨 주제로 석사 연구를 진행할 계획임
  - 국제저널 Transactions on Internet and Information Systems (TIIS) 논문 게재 (SCIE) 최광훈 논문 제목 : A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps
- 7월
  - 해외학술대회 SCA2018 논문 발표 (일본 토쿄) 최광훈 IEEE International Workshop on Smart Computing and Applications, COMPSAC) 논문 제목 : Smart Block: A Visual Programming Environment for SmartThings 숙명여자대학교 프로그래밍언어 연구실과 공동 연구 사물인터넷 - 삼성 스마트띵스SmartThings와 프로그래밍언어(PL)를 접목시킨 연구
- 3월
  - 연구실 개강 파티 전남대 중앙도서관 앞 뜰에서 치맥 파티! 김가영, 조문영, 박세영, 홍예진, 정승완, 김지용, 조민우 참석
- 2월
  - 한국정보과학회지 논문지 국내저널, 정보과학회 컴퓨팅의 실제논문지 2월호 논문 게재 최광훈 논문 제목 : 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE 에뮬레이터 서강대학교 소프트웨어공학 연구실과 공동 연구
  - 안드로이드 모바일 앱과 프로그래밍언어(PL)를 접목시킨 연구 주제 학부연구생 조문영 학부생 포스터 논문 최우수상 수상!! 조문영, 최광훈 2017년 한국소프트웨어종합학술대회, 학부생 포스터 논문 논문 제목 : 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구
  - SIGPL 겨울학교 참가 김가영, 최광훈
2017년
- 12월
  - 한국소프트웨어종합학술대회(KSC2017) 학부생 포스터 논문 발표 김가영 : 아두이노 기반 사물인터넷을 위한 통합 프로그래밍 방법에 관한 연구
  - 한국소프트웨어종합학술대회(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월
  - 최광훈 교수 전남대학교 공과대학 전자통신공학부 부임 및 소프트웨어언어 및 시스템 연구실 시작