시스템
연세대학교 컴퓨터과학과에서는 다음과 같이 시스템 컴퓨팅과 관련된 다양한 연구가 진행중입니다. 하단의 연구실 이름을 클릭하시면 관련 연구실에 대한 자세한 내용을 보실 수 있습니다.
ㆍ데이터 스트림 관리 시스템
ㆍ실시간 OLAP
ㆍ추론 계산량 감소를 위한 베이지안 네트워크 모듈화 기술
ㆍ서비스 플랫폼 종류에 커스터마이즈된 확률 추론 네트워크 설계 기술
ㆍ도메인의 특성을 반영한 빅 데이터 분석 기술
ㆍ저장소의 특성을 반영한 DBMS 기술 및 빅 데이터 처리 기술
ㆍ형식 언어로 기술되는 데이터의 유사도 계산 연구
ㆍ정규 언어의 복잡성 연구
| 지도교수 | 한요섭 |
 |
|---|---|---|
| 이메일 | emmous@cs.yonsei.ac.kr | |
| 웹 | http://toc.yonsei.ac.kr | |
| 전화 | 02-2123-5725 | |
| 연구분야 |
계산 이론 연구실에서는 형식언어와 오토마타 이론에 대해 주로 연구합니다. 계산 이론은 컴퓨터과학과 수학에서 뻗어나온 갈래로서, 문제가 컴퓨터를 통해 해결 될 수 있는지, 복잡도와 알고리즘 관점에서 어떻게 해결 할 수 있는지를 연구하는 분야입니다.
유한-상태 오토마타, 푸쉬-다운 (pushdown) 오토마타, 튜링 머신과 같은 여러 가지 계산 모델의 구조적인 속성에 대한 조사.
이러한 계산 모델(FAs, PDAs or Turing Machines)의 효과적인 알고리즘 설계.
오토마타 이론을 기반으로 한 애플리케이션 개발
- 빠른 정규 표현식 검색 엔진.
- 패턴 매칭.
- 정보 검색.
- 데이터 유사성.
|
|