계산이론 연구실에서는 컴퓨터 이론(알고리즘, 자료구조, 오토마타 등)에
기반한 효율적인 문제 해결에 관한 연구를 수행중입니다.
대상 문제는 컴퓨터를 활용한 practical problems 또는
theoretical problems 모두 포함합니다.
연구 방법 (문제 해결을 위한 주요 기법)
- 계산 모델(computing model)의 제약조건, 장/단점 및 특성 파악
- 이를 기반으로 효율적인 알고리즘 설계 (Big-O 분석)
- 효율적 표현 (구현 및 실험 검증)
연구 주제 (진행중/계획중 연구주제)
- 정형언어간 편집거리 기반 유사성 측정
- 오토마타 기반 데이터 검색 및 유사 데이터 추출
- 데이터셋으로부터 정형 문법 (regex or CFG) 추론
- (딥러닝을 활용한) 자연어 명세로부터 프로그램 코드 자동 생성
- (딥러닝을 활용한) 소스코드 자동 요약 및 유사 코드 추천
- ReDoS 탐지 및 방지를 위한 알고리즘 설계 및 자동 변환 기법
계산이론 연구실에서는
이런 연구를 함께할 연구원을 모집중입니다. 학부인턴이나 대학원과정
그리고 포닥도 모두 환영합니다.
연구주제 및 기타 문의사항은 아래 연락처로 연락 바랍니다.
지도교수 이메일: emmous [at] yonsei [dot] ac [dot] kr
연구실 이메일: yonseitoc [at] gmail [dot] com