계산이론 연구실에서는 컴퓨터 이론(알고리즘, 자료구조, 오토마타 등)에 기반한 효율적인 문제 해결에 관한 연구를 수행중입니다.
대상 문제는 컴퓨터를 활용한 practical problems 또는 theoretical problems 모두 포함합니다.

연구 방법 (문제 해결을 위한 주요 기법)

  1. 계산 모델(computing model)의 제약조건, 장/단점 및 특성 파악
  2. 이를 기반으로 효율적인 알고리즘 설계 (Big-O 분석)
  3. 효율적 표현 (구현 및 실험 검증)

연구 주제 (진행중/계획중 연구주제)
계산이론 연구실에서는 이런 연구를 함께할 학생을 모집중입니다. 학부인턴이나 대학원 과정 모두 환영합니다.

연구주제 및 기타 문의사항은 아래 연락처로 연락 바랍니다.
지도교수 이메일: emmous [at] yonsei [dot] ac [dot] kr
연구실 이메일: yonseitoc [at] gmail [dot] com