Directions
Computing Theory / 전산이론
전산이론분야는 모든 전산학 연구분야의 이론적인 모델과 분석의 틀을 제공하는 기본적이고 중요한 분야로서 알고리즘, 계산기하학, 프로그래밍 언어, 컴파일러 등의 세부 연구 분야를 포함한다.
알고리즘 분야는 컴퓨터로 문제를 해결하는 기법인 알고리즘의 디자인과 알고리즘의 성능과 정확성 및 문제의 복잡도를 분석하는 연구분야 이며, 계산기하학 분야는 이 중에서 특히 기하학적인 문제의 복잡도 및 알고리즘을 연구한다. 프로그래밍 언어 및 컴파일러 분야에서는 소프트웨어의 설계 단계부터 개발 및 유지 보수까지 전 단계에 걸쳐서, 프로그램을 분석하고 최적화하여 사용자가 보다 안전하고 편리하며 빠른 소프트웨어를 사용할 수 있도록 돕는 연구를 수행한다.
Systems-Networks / 시스템-네트워크
시스템분야는 컴퓨팅의 실험적 기반학문이 되는 분야로 컴퓨터 구조, 운영체제, 네트워크, 임베디드 시스템, 실시간 시스템 등의 세부분야를 포괄하며 특히 산업체에서 가장 많이 필요로 하는 연구를 다룬다. KAIST 전산학부는 우수한 전통적인 시스템 연구 역량을 바탕으로 최신 연구 동향인 인공지능 시스템 기술, 사용자 경험 중심의 모바일 시스템, 물리적 현상과 융합된 사이버-피지컬 시스템, 클라우드 컴퓨팅 시스템 에서도 세계 수준의 연구 성과를 이루어 내고 있다. 이와 더불어 대규모 소셜 네트워크 분석, 기밀 컴퓨팅, 자율 주행 및 로보틱스 등의 새로운 시스템 분야를 개척해 나가고 있다.
> 시스템-네트워크 연구실들Software Design / 소프트웨어 디자인
디자인 분야는 컴퓨팅과 관련된 창의성의 바탕이 되며, 전산학부에서는 소프트웨어 디자인을 연구한다.
소프트웨어 공학은 소프트웨어의 개발, 운용, 유지보수 등의 생명 주기 전반을 체계적이고 서술적이며 정량적으로 다루는 학문이다. 특히 웹, 모바일/클라우드 컴퓨팅 환경, 빅데이터 환경 등 최근의 소프트웨어 환경에 적합한 새로운 모델 기반의 소프트웨어 개발 패러다임과 아키텍처 및 서비스 기술에 대해 다루는 사회적/경제적으로 중요한 학문분야이다.
Secure Computing / 시큐어컴퓨팅
시큐어 컴퓨팅 분야는 컴퓨팅 기술에 근간을 둔 모든 시스템, 정보 서비스, 상용 소프트웨어 등의 보안성 및 기밀성, 무결성, 가용성을 보장하기 위한 기반 기술을 연구하는 분야입니다. 주요 연구분야로는 시스템 보안, 소프트웨어 보안, 암호 기반 보안, 정보서비스 보안, 모바일 인터넷 보안, 취약점 분석, 악성코드 분석, 컴퓨터 포렌식, 개인 정보보호, 그리고 정보 보안 정책 등이 있다.
> 시큐어컴퓨팅 연구실들Visual Computing / 비주얼 컴퓨팅
비주얼 컴퓨팅은 이미지, 비디오, 사진, 드로잉, 영화, 다차원 데이터를 포함한 시각적 및 멀티미디어 데이터를 처리, 이해, 소통하기 위한 컴퓨팅 기술을 개발하고 활용하는 연구 분야이다. 컴퓨터 그래픽스, 컴퓨터 비전, 정보 시각화, 이미지 합성, AI기반 영상 장면 재구성/렌더링을 포함한 다양한 학문을 아우른다. 최근 시각 컴퓨팅 연구는 대규모 컴퓨터 그래픽스 및 기하학 처리, 의료 영상 처리 및 응용, 계산 사진술/영상학, 로보틱스를 위한 컴퓨터 비전 등을 탐구하고 있다.
> 비주얼 컴퓨팅 연구실들AI-Information Service / 인공지능-정보서비스
정보 기술이 사회 전반에 파급되고 활용됨에 따라 물리적 공간과 온라인 공간으로부터 방대한 양의 빅 데이터가 폭발적으로 생성되고 있다. 전산학부에서는 빅 데이터를 효율적으로 관리하고 분석하기 위한 이론, 알고리즘, 시스템, 서비스를 연구한다. 주요 연구 분야로 데이터베이스, 병렬 검색 엔진, 웹 데이터 관리, 멀티미디어/시공간 데이터베이스, 센서 네트워크 데이터 관리, 지능형 데이터베이스, 데이터 마이닝 등이 있다.
인공지능 분야는 인지, 판단 및 학습 등 지적 개체가 갖는 속성들에 대한 계산학적 모델과 알고리즘을 탐구하고, 이를 토대로 한 지능형 시스템을 구현하는 연구를 수행한다.
Social Computing / 소셜 컴퓨팅
소셜 컴퓨팅은 개인 및 사회적 활동에서 발생하는 소셜 데이터의 관리, 분석 및 이해를 위한 서비스 및 기술을 개발하는 연구 분야이다. 이 새로운 연구 주제는 계산적 소셜 과학을 위한 기초 지식 및 도구를 개발하는 기회를 제공한다. 우리 전산학부는 생물학을 위한 자연어 처리, 소셜 네트워크 분석, 데이터 마이닝, 계산 저널리즘, 정보 보안, 시맨틱 웹 및 정보 검색 분야에서 높은 국제적 가시성을 가진 이 분야의 선두 주자이다.
> 소셜컴퓨팅 연구실들Interactive Computing / 인터랙티브컴퓨팅
인터랙티브 컴퓨팅은 새로운 인간-컴퓨터 상호작용 (HCI) 기술을 개발하는 연구 분야이다. 스마트폰, 태블릿, 터치스크린, 스마트 스페이스 등 다양한 형태의 컴퓨터가 등장함에 따라 새로운 사용자 정보가 생성되고 있으며, 이에 따라 새로운 패러다임의 사용자 인터페이스(UI)가 필요하다. 우리 전산학부의 연구는 제스처 인터페이스, 터치 인터페이스, 햅틱 인터페이스 및 자연어 인터페이스를 포함한다. 또한 유기적 사용자 및 뇌-컴퓨터 인터페이스와 같은 보다 첨단 주제를 탐구하고 있다.
> 인터랙티브컴퓨팅 연구실들
