전산이론(Computing Theory)분야 커리큘럼 가이드

KAIST 전산학부의 이론분야는 모든 전산학 연구분야의 이론적인 모델과 분석의 틀을 제공하는 기본적이고 중요한 분야로서 알고리즘, 계산기하학, 프로그래밍 언어, 컴파일러 등의 세부 분야를 포함한다. 알고리즘 분야는 컴퓨터로 문제를 해결하는 기법인 알고리즘의 디자인과 알고리즘의 성능과 정확성 및 문제의 복잡도를 분석하는 연구분야 이며, 계산기하학 분야는 이 중에서 특히 기하학적인 문제의 복잡도 및 알고리즘을 연구한다. 프로그래밍 언어 및 컴파일러 분야에서는 소프트웨어의 설계 단계부터 개발 및 유지 보수까지 전 단계에 걸쳐서, 프로그램을 분석하고 최적화하여 사용자가 보다 안전하고 편리하며 빠른 소프트웨어를 사용할 수 있도록 돕는 연구를 수행한다.