모바일 메뉴 닫기
 
Research

연구

지능형 데이터컴퓨팅

시스템

연세대학교 컴퓨터과학과에서는 다음과 같이 시스템 컴퓨팅과 관련된 다양한 연구가 진행중입니다. 하단의 연구실 이름을 클릭하시면 관련 연구실에 대한 자세한 내용을 보실 수 있습니다.

 

데이터 스트림 관리 시스템

실시간 OLAP

추론 계산량 감소를 위한 베이지안 네트워크 모듈화 기술

서비스 플랫폼 종류에 커스터마이즈된 확률 추론 네트워크 설계 기술

도메인의 특성을 반영한 빅 데이터 분석 기술

저장소의 특성을 반영한 DBMS 기술 및 빅 데이터 처리 기술

형식 언어로 기술되는 데이터의 유사도 계산 연구

정규 언어의 복잡성 연구

 

 

 

알고리즘 연구실
지도교수 한요섭
이메일 emmous@cs.yonsei.ac.kr
http://toc.yonsei.ac.kr
전화 02-2123-5725
연구분야

계산 이론 연구실에서는 형식언어와 오토마타 이론에 대해 주로 연구합니다. 계산 이론은 컴퓨터과학과 수학에서 뻗어나온 갈래로서, 문제가 컴퓨터를 통해 해결 될 수 있는지, 복잡도와 알고리즘 관점에서 어떻게 해결 할 수 있는지를 연구하는 분야입니다.

 

유한-상태 오토마타, 푸쉬-다운 (pushdown) 오토마타, 튜링 머신과 같은 여러 가지 계산 모델의 구조적인 속성에 대한 조사.

 
이러한 계산 모델(FAs, PDAs or Turing Machines)의 효과적인 알고리즘 설계.
 
오토마타 이론을 기반으로 한 애플리케이션 개발
-  빠른 정규 표현식 검색 엔진.
-  패턴 매칭.
-  정보 검색.
-  데이터 유사성.