프로그래밍 언어 연구실 (Programming Language Laboratory)

   

지도교수 : 우 균 교수님
위 치 : 자연대연구실험동 304호
전화번호 :051) 510-3939
홈페이지 : http://pl.pusan.ac.kr
E-Mail : pllab@pusan.ac.kr

 

■ 연구실 소개

 프로그래밍 언어는 컴퓨터와 대화하는 방법입니다. 컴퓨터에게 일을 시키는 수단이라고 봐도 무방합니다. 컴퓨터와 잘 대화하려면 어떻게 해야 할까요? 먼저 컴퓨터가 알아들을 수 있는 말로 이야기해야 합니다. 그런데 이것이 너무 힘듭니다. 그래서 사람들은 여러 프로그래밍 언어를 여러 패러다임(paradigm)으로 만들었습니다. 

 이 중에는 명령형 프로그래밍 언어(imperative programming languages), 함수형 프로그래밍 언어(functional programming languages), 논리 언어(logic languages), 객체지향언어(x-object oriented languages)가 있습니다. 우리 연구실에서는 이러한 여러 패러다임의 언어에 대해 폭넓게 연구하고 있습니다. 또한 프로그래밍 분석방법과 다양한 프로그래밍 언어의 응용분야에 대해서 연구하고 있습니다.

 

 

■ 주요 연구 분야

1) 안드로이드 애플리케이션 취약점 탐색에 관한 연구

본 연구는 스마트폰 애플리케이션의 신뢰성을 높이기 위한 연구이다. 프로그램 정적 분석(Static Analysis)의 기법들인 요약해석이론(Abstract Interpretation)과 데이터 흐름 분석 (Data Flow Analysis) 등을 이용해 애플리케이션의 악의적인 부분을 찾아낸다.
- 안드로이드 애플리케이션 흐름 분석에 관한 연구
- 안드로이드 애플리케이션 취약성 분석에 관한 연구
- 안드로이드 애플리케이션 취약점 분석도구 개발

 

 

2) 프로그램 표절검사(Plagiarism Detection) 기술 연구
본 연구는 프로그램 표절검출기법에 관한 연구이다. 프로그램 정적 분석(Static Analysis)을 통하여 C, C++, Java등으로 작성된 프로그램 소스코드 간의
유사도를 측정하고 표절을 밝혀낸다.
- 소프트웨어 유사도 비교 알고리즘에 관한 연구
- 소프트웨어 군집화(clustering)에 관한 연구
- 자동화된 표절검출시스템 개발

 

 

3) 군집 행위 패턴 분석을 이용한 지능형 로봇 시스템 연구
군집지능 로봇을 위한 분산 알고리즘에 관하여 연구한다. 군집생활을 하는 곤충의 집단적 활동 시스템인 군집 지능을 이용하여 로봇 시스템을 구성하고 특정 상황에서 발생하는 문제를 해결한다.

- 군집 로봇의 리더 선출 및 분산 알고리즘
- 지능형 시스템과 로봇 시스템에 관한 교육
- 곤충의 군집 행위 패턴분석
- 집단지능 기반 지능형 로봇 구현
 

 

 

■ 그 외 소개 내용

1) 연구실 구성원 

- 연구원 : 이윤정(박사후과정), 김연어(박사과정), 조창권, 천봉환, 이기화, 천준석, 이필수(석사과정)

 

 

2) 진행중인 프로젝트
- 소스 코드를 통한 Flow Chart 자동화 도구(지원기관 : LG)
- 분할 실행 SW 서비스를 위한 부하분산 정책 연구(지원기관 : 한국전자통신연구원[ETRI])

 

 

3 ) 연구실 생활
- 주2회 세미나 : 프로젝트 수행 및 논문 연구
- 월1회 연구보고서 : 논문 연구와 관련하여 개인 월1회의 연구보고서 작성
- 연구테마 : 지도교수와 협의하여 학생이 창의적인 주제로 정할 수 있음

 

 

4) 학생 연구 지원
- 연구기자재 : 책상, 도서, 컴퓨터, 프린터 및 연구에 필요한 기자재 지원
- 연구비지원 : 연구원들의 프로젝트 수행 및 논문 연구를 위한 소정의 연구비 지원