프로그래밍 언어 연구실입니다. 프로그래밍 언어뿐 아니라 프로그래밍 전반에 관해서도 연구합니다. 최근 연구 결과로는 한글 프로그래밍 언어 개발, 한글 운영체제 개발 등이 있습니다. 최근 수행 연구 과제로는 이기종 악성코드 실행을 위한 실행 의존성 자동 해결 연구와 SW 가상화 적용 및 플랫폼 가상화 연구가 있습니다. 과거 수행했던 연구 과제로는 함수형 반응적 프로그래밍 언어를 위한 로봇 제어 연구, 공개 SW기반 SoD 개발 환경 연구, MS Visual C++ 구문분석기 개발 연구, 한글 크로스워드 퍼즐 자동 생성 연구, Ruby를 위한 컴포넌트 개발환경 연구, 국산 다목적 OS 포팅 연구, RoR 프레임워크 경량화 연구, 디버거 개발 연구, C 프로그래밍 코딩 규칙 검사 도구 개발 연구, 분할 실행 SW 서비스를 위한 가상화 연구, 소스코드를 이용한 Flowchart 자동화 도구 개발, 실행 안전성을 보장하는 한글 프로그래밍 언어 개발, 테스트 코드 자동 생성 엔진 개발, Europa(16bit CPU)를 위한 Binutil 개발, JUNO(32bit CPU)의 컴파일러 개발, 스마트 기기의 악성코드를 검출하기 위한 이진코드 정적 분석기 개발, 임베디드 바이너리 코드의 LLVM IR Lifter 개발, 윈도 닷셋 바이너리 파일의 난독화 및 대응 기법 연구, 난독화 프로텍터 식별 방안 연구, 안드로이드 미디어서비스 처리 메커니즘 연구, 한국어 능력시험 문제은행 도입을 위한 메타데이터 구축 방안 정책 연구, C# 난독화 기법 식별 및 분석 방안 연구, C 코드 변경점 자동 분석 도구 개발, SAM 메시지 채널에 따른 하스켈 병렬 프로그래밍 모델 개발, 바이너리 동적 생성 코드 중간언어 표현 기술 연구, 화이트박스 자동 테스트 용이성에 기반한 메트릭 연관성 연구, 하드웨어 Free 임베디드 SW 디버깅 환경 구축 연구, OS 적용 제품 코드 SILS 적용 및 자동화 연구 등이 있습니다.
연구분야 키워드
#LLM의 코드 환각 해결(resolving code hallucination in LLMs)
#로봇 프로그래밍(robot programming)
#반응형 프로그래밍(reactive programming)
#웹 프로그래밍(web programming)
#인공지능 프로그래밍 언어(AI programming languages)
#정적 분석(static analysis)
#컴파일러 및 인터프리터(compiler and interpreter)
#코드 난독화(code obfuscation)
#프로그램 자동 증명(automatic proof of programs)
#함수형 프로그래밍(functional programming)
졸업생 정보
프로그래밍 언어 연구실 졸업생들은 LG 전자, 현대 모비스, 현대 다이모스, SK Planet, NHN, LG 유플러스, 슈어소프트테크, 테스트 마이더스, e-Bay, 국방과학연구원, 국방과학연구소, 특허청, 한국수자원공사 등 다양한 분야에 취업하여 활발히 활동하고 있습니다. 졸업생들의 학위 논문은 https://pl.pusan.ac.kr/~woogyun 페이지를 참고하기 바랍니다.
연구실 지원 방법
학부 성정 증명서와 연구 계획서 등을 woogyun@pusan.ac.kr로 메일 주기 바랍니다. 그외 자신의 과거 연구 실적을 pdf 파일로 함께 제출하면 좋습니다.
자격 조건
Python/Ruby/JavaScript, C/C++/Java/C#/Haskell/ML/Go/Rust/OCaml/Scala/Kotlin 중에서 그룹별 하나 이상의 프로그래밍 언어를 알고 있어야 합니다. 추가로 PL lab에서 개발한 새싹/KoBASIC/머꼬/K-Prolog 중 하나를 더 알고 있으면 좋습니다. 내국인이라면 TOEIC 800(TOEFL 80) 이상, 외국인이라면 TOPIK 5급 이상이 있으면 좋습니다.
대우 조건
BK 장학금 혜택, AI 대학원 장학금 혜택 중 선택하여 받을 수 있습니다. 기타 장학금은 수행 과제 및 자신의 기여에 따라 달라질 수 있습니다.