집중과정
개요
Foundations of Computing은 컴퓨터 계산의 근본 원리를 공부하는 분야로서 다음과 같은 근본적인 질문을 다룬다.
컴퓨터는 어떤 문제를 해결할 수 있을까? 이를 얼마나 계산할 수 있을까?
또한 관측된 정보로부터 유용한 구조나 규칙을 계산적으로 추효율적으로론할 수 있을까?
다양한 계산을 실제 소프트웨어로 어떻게 구현할 수 있을까?
그리고 이러한 계산이 정확하고 신뢰할 수 있게 수행되도록 하려면 어떤 방법이 필요할까?
이러한 질문은 다양한 이론적 접근을 통해 탐구한다.
예를 들어, 알고리즘 및 계산이론 분야에서는 문제를 효율적으로 해결하는 계산 방법과 그 한계를 연구한다.
전산논리 및 계산적 추론 분야에서는 지식과 계산 과정을 형식적으로 표현하고, 논리적 추론이나 규칙 발견의 원리를 연구한다.
프로그래밍 언어와 정형기법 분야에서는 의도한 계산이 올바르고 안전하게 수행되도록 소프트웨어 및 계산 시스템을 설계·구현·검증하는 방법을 연구한다.
이수조건
필수 수강 : 전공선택필수 2과목 (프로그래밍 언어, 오토마타 및 형식 언어)
선택 수강 : 400단위 이상 2과목 이상
위 조건을 만족하며, 300단위 이상 과목 중 5과목 이상 수강
(예시1) 프로그래밍언어(필), 오토마타 및 형식언어(필), 소프트웨어설계방법(선), 전산논리(선), 연속계산(선)
(예시2) 프로그래밍언어(필), 오토마타 및 형식언어(필), 소프트웨어검증(선), 계산이론(선), 고급 알고리즘(선)
3학년
프로그래밍 언어
오토마타 및 형식언어
소프트웨어 설계방법
4학년
소프트웨어 검증
컴파일러 설계
전산논리
대학원
컴퓨터 네트워크
데이터베이스 시스템
고급 알고리즘
이산 및 계산기하학
연구 분야
알고리즘 / 계산이론 /
대규모 데이터 처리 이론
대규모 데이터 처리 이론
그래프 알고리즘, 스트리밍 알고리즘, 근사 알고리즘, 기하 알고리즘 등 새로운 계산 방법을 설계하고 분석, 이러한 방법론의 근본적인 한계를 다루는 연구 분야
전산논리 및 계산적 추론
지식과 계산 과정을 형식적으로 표현하고 논리적 추론이나 규칙 발견의 계산 원리를 연구하며, 복잡한 계산 시스템의 동작을 분석하고 이해하기 위한 이론적 기반을 다루는 분야
프로그래밍 언어 / 정형기법 / 소프트웨어 신뢰성
타입 시스템이나 컴파일러 기술 등을 활용해 안전하고 효율적인 언어와 시스템을 설계하고, 계산 시스템과 모델의 정확성을 수학적으로 보증하며 오류와 취약점을 체계적으로 검출·예방하는 기술을 연구하는 분야
암호학
안전한 통신과 데이터 보호를 위한 수학적 기반을 연구하며, 암호 프로토콜의 안전성과 계산적 보안성을 분석하는 분야
향후 진로
-
Academic researcher
학계 연구자
- 이론 컴퓨터과학, 프로그래밍 언어, 검증 등 컴퓨터 과학의 기초 분야에 대한 심증 연구 수행
- 국내외 대학 교수 임용 및 전문 연구소에서의 연구·교육 활동
-
Industry research lab
산업계 연구소
- 글로벌 빅테크 기업(Google, Microsoft 등)의 선행 연구 조직에서 연구 활동
- 핵심 알고리즘 개발, 컴파일러 구조 연구, 시스템 무결성 검증 등 첨단 기술 연구 수행
-
Development engineer
전문 개발 엔지니어
- 시스템 소프트웨어, 컴파일러, 보안 등 고도의 기술력이 필요한 분야에서 활동
- 컴퓨팅 시스템의 정확성과 안전성이 중요한 분야에서 핵심 기술 전문가로 활약
