News

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