Directions
Foundations / 전산이론
전산이론분야는 모든 전산학 연구분야의 이론적인 모델과 분석의 틀을 제공하는 기본적이고 중요한 분야로서 알고리즘, 계산기하학, 프로그래밍 언어, 컴파일러 등의 세부 연구 분야를 포함한다. 알고리즘 분야는 컴퓨터로 문제를 해결하는 기법인 알고리즘의 디자인과 알고리즘의 성능과 정확성 및 문제의 복잡도를 분석하는 연구분야 이며, 계산기하학 분야는 이 중에서 특히 기하학적인 문제의 복잡도 및 알고리즘을 연구한다. 프로그래밍 언어 및 컴파일러 분야에서는 소프트웨어의 설계 단계부터 개발 및 유지 보수까지 전 단계에 걸쳐서, 프로그램을 분석하고 최적화하여 사용자가 보다 안전하고 편리하며 빠른 소프트웨어를 사용할 수 있도록 돕는 연구를 수행한다.
> 전산이론 연구실들Design / 시스템·네트워크
> 시스템·네트워크 연구실들Secure Computing / 소셜 컴퓨팅
웹을 포함하여 인간과 사회의 모든 분야에서 활용되는 컴퓨팅을 연구하며 인문사회과학, 자연과학, 생명과학, 의학 등 다양한 학문과의 융합연구를 수행한다. 카이스트 전산학과 에서는 특히 생명과학 및 의료 정보처리분야, 자연언어처리 분야, 소셜 네트웍 분석, 전산 저널리즘, 정보보호 등의 연구가 이루어지고 있다. 소셜컴퓨팅 분야는 나날이 중요해지는 모바일 컴퓨팅과 소셜 네트워크 서비스 등을 통해 사람들의 다양하고 방대한 사회적 활동을 데이터로 수집하여 저장, 분석, 가공하고, 사람들의 생활에 도움을 줄 수 있는 컴퓨팅 서비스를 연구하고 개발한다. 전산사회과학은 정치학, 사회학, 심리학 등에서 전통적인 방법으로 접근하던 문제들을 빅데이터와 데이터마이닝, 기계학습 등의 전산학 방법론으로 접근하는 최신 융합 연구 분야이다.
> 소셜 컴퓨팅 연구실들Visual Computing / 소프트웨어-시스템-서비스디자인
디자인 분야는 컴퓨팅과 관련된 창의성의 바탕이 되며, 전산학과에서는 소프트웨어 디자인을 연구한다. 소프트웨어 공학은 소프트웨어의 개발, 운용, 유지보수 등의 생명 주기 전반을 체계적이고 서술적이며 정량적으로 다루는 학문이다. 특히 웹, 모바일/클라우드 컴퓨팅 환경, 빅데이터 환경 등 최근의 소프트웨어 환경에 적합한 새로운 모델 기반의 소프트웨어 개발 패러다임과 아키텍처 및 서비스 기술에 대해 다루는 사회적/경제적으로 중요한 학문분야이다.
> 소프트웨어 디자인 연구실들Infomation Service / 시큐어 컴퓨팅
시큐어 컴퓨팅 분야는 컴퓨팅 기술에 근간을 둔 모든 시스템, 정보 서비스, 상용 소프트웨어 등의 보안성 및 기밀성, 무결성, 가용성을 보장하기 위한 기반 기술을 연구하는 분야입니다. 주요 연구분야로는 시스템 보안, 소프트웨어 보안, 암호 기반 보안, 정보서비스 보안, 모바일 인터넷 보안, 취약점 분석, 악성코드 분석, 컴퓨터 포렌식, 개인 정보보호, 그리고 정보 보안 정책 등이 있다.
> 시큐어 컴퓨팅 연구실들Social Computing / 비주얼 컴퓨팅
비주얼컴퓨팅 분야는 텍스트 이외의 다양한 멀티미디어 및 시각 데이터를 처리하는 기본/핵심/응용기술을 연구한다. 대표적인 분야는 컴퓨터 그래픽스, 컴퓨터 비젼, 이미지 프로세싱, 정보 가시화(visualization) 등이 있으며, 산업에도 다양하게 활용되고 있는 분야이다. 구체적으로 컴퓨터 그래픽스 분야에서는 실사와 같은 3차원 입체영상을 구현하는 연구, 대용량의 기하학적 형태를 실시간에 렌더링하는 연구, 의료영상의 처리 및 응용 연구 등 다양한 연구들이 이루어지고 있으며, 컴퓨터 비젼 분야에서는 스스로 움직이는 지능형 로봇 개발을 위한 컴퓨터 비전 연구, 로봇의 움직임을 계획하는 모션 플래닝 연구 등이 이루어지고 있다.
> 비주얼 컴퓨팅 연구실들Interactive Computing / 인공지능·정보서비스
정보 기술이 사회 전반에 파급되고 활용됨에 따라 물리적 공간과 온라인 공간으로부터 방대한 양의 빅 데이터가 폭발적으로 생성되고 있다. 전산학과에서는 빅 데이터를 효율적으로 관리하고 분석하기 위한 이론, 알고리즘, 시스템, 서비스를 연구한다. 주요 연구 분야로 데이터베이스, 병렬 검색 엔진, 웹 데이터 관리, 멀티미디어/시공간 데이터베이스, 센서 네트워크 데이터 관리, 지능형 데이터베이스, 데이터 마이닝 등이 있다. 인공지능 분야는 인지, 판단 및 학습 등 지적 개체가 갖는 속성들에 대한 계산학적 모델과 알고리즘을 탐구하고, 이를 토대로 한 지능형 시스템을 구현하는 연구를 수행한다.
> 인공지능·정보서비스 연구실들
