News

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월)
  •  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)
    • 최광훈 교수 정교수 승진
  • 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.
    • 김상엽 네이버 스마트 에디터 인턴쉽
  •  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 교수와 공동 연구
  •  10월
    • 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)
    • 학부 연구생 발표 (배성희) - 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)과 공동 연구
  •  10월
    • 벨기에 케이유 루벤 대학(KU Leuven, Belgium)의 봅 렌더스 박사(Dr. Bob Reynders) 2주간 연구실 방문 (10/28~11/8, 2주)
      • 본인 박사학위 주제 Reactive programming과 우리 연구실의 연구 주제 RPC calculus를 접목하여 리액트브 아르피씨 캘큐러스를 설계하는 주제를 논의
    • 최광훈 교수 2020년 제8회 MSFP (Mathematically Structured Functional Programming) 워크숍 프로그램위원으로 활동
  •  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월
  •  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 저널)
    • 국내 한국컴퓨터정보학회논문지 게제
  • 2월
    • 학부연구생 졸업 및 취업!!
      • 조문영 : 다음카카오 취업
      • 박세영 : 한국 전력 취업
      • 정승완 : 청년 TLO 프로그램 -  연구실 연구원 (~ 2019년 10월)
      • 조성모
  •  1월
    • 2019 한국 소프트웨어공학 학술대회 논문 발표 (클라이언트-서버 통합 프로그램 컴파일 구현)
    • 2019 한국소프트웨어공학 학술대회 논문 발표 (이더리움 블록체인의 스마트컨트랙트 테스팅)  (단편 논문 분야 우수 논문 선정)
    • 동계 머신러닝 캠프 (한동대) 참석
      • 임진택

2018년

  • 12월
    • 2019 한국소프트웨어종합학술대회 (12/18~20), 평창 휘닉스파크 참석
      • 김가영, 임진택, 조민우, 신승현
    • 한국정보과학회 논문지 국내저널 정보과학회 컴퓨팅의 실제논문지 12월호 논문게재
    • 2018 한국소프트웨어종합학술대회 (KSC2018) 우수논문상 입상
      • 최광훈 (숙명여자대학교 프로그래밍언어 연구실과 공동 연구)
      • 논문 제목: SmartThings 스마트앱을 위한 실시간 모니터 구현
      • 논문 다운로드 링크
      • 사물인터넷 - 삼성 스마트띵스SmartThings와 프로그래밍언어(PL)를 접목시킨 연구
  • 11월
    • 학부 연구생, 신승현과 조혜빈 합류
      • 새로운 멤버 환영회 : 광주비엔날레 관람 및 제문헌 건물 식당에서 회식
      • 사진
  • 9월
  • 7월
  • 3월
    • 연구실 개강 파티
      • 전남대 중앙도서관 앞 뜰에서 치맥 파티!
      • 김가영, 조문영, 박세영, 홍예진, 정승완, 김지용, 조민우 참석
      • 사진
  • 3월
    • 중견연구과제 2차년도 시작
      • 연구책임자 최광훈 (숙명여자대학교 창병모 교수와 공동 연구)
      • 1억원/연
      • 통합프로그래밍언어 설계및 구현에 관한 연구
      • 사물인터넷(IoT)와 프로그래밍언어(PL)을 접목시킨 연구 주제
  • 2월

2017년

  • 12월
    • 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월
    • 최광훈 교수 전남대학교 공과대학 전자통신공학부 부임 및  소프트웨어언어 및 시스템 연구실 시작