고급알고리즘 (advanced Algorithms)
- 학부의 알고리즘 과목에 이어서 효율적인 알고리즘의 설계와 분석에 대하여 깊이 있게 공부한다. 다루는 주제는 그래프 알고리즘, 대수적 알고리즘, 암호 알고리즘, 스트링매칭,계산기하학, NP-completeness, 근사 알고리즘 등이다.
고급확률과정 (Advanced Stochastic Processes)
- 이 과목은 컴퓨터공학을 포함한 공학문제에서의 다양한 종류의 확률현상을 다룬다. 주요 내용으로는 확률변수, 확률분포함수, 마코프체인, 포아송 프로세스 및 리뉴얼 프로세스등이 있다.
고급계산이론 (Advanced Theory of Computation)
- 계산가능 이론 (computability theory)과 계산복잡도 이론 (complexity theory)을 다룬다. 계산가능 이론에서는 튜링기계 (Turing machine), 결정 가능/불가능 (decidable/undecidable) 문제들, 계산 가능/불가능 함수들, reduction의 개념, 형식언어와 논리에서의 여러 가지 결정 불가능 문제의 증명, Post의 대응 문제, Recursion theorem 등을 공부한다. 계산복잡도 이론에서는 계산복잡도의 개념, P, NP, NP-complete, PSPACE, PSPACE-complete, Savitch's theorem 등을 다룬다.
컴퓨터구조 (Computer Architecture)
- 학부에서 다룬 각 분야별 컴퓨터 구조를 깊이 있게 다룬다. Fundamentals of Computer Design, Instruction Set Principles and Examples, Advanced Pipelining and Instruction-Level Parallelism, Memory-Hierarchy Design, Storage Systems, Interconnection Networks, Multiprocessors 등에 관한 주제를 최신 교재와 논문들을 중심으로 심도 있게 연구한다.
고급운영체제 (Advanced Operating Systems)
- 운영체제의 구성 요소인 프로세스 관리, 메모리 관리, 파일 관리, 디바이스 관리 모듈의 구조, 기능, 설계 시 고려점 등에 관하여 연구하고 실제 일부 모듈의 구현을 통하여 이해를 돕는다. 또한 이를 바탕으로 다중처리 운영체제, 분산처리 운영체제, 실시간 운영체제에서 추가로 고려해야 할 기능 및 특징에 대하여 비교 연구한다.
시스템성능평가 (System Performance evaluation)
- CPU, I/O, O/S, Network, DBMS 등으로 구성된 시스템 분석 및 모델링, 벤치마킹, 컴퓨터 시뮬레이션을 수행하기 위해서 필요한 시스템 모델링 방법, 모델 설계 방법, 구현 방법 등 시스템 성능평가에 관한 기초 지식을 습득하고, 기존의 대표적인 시스템들을 예로, 설계 및 성능평가 방법들을 살펴보고 이와 관련된 주제들을 최신 논문과 사례들을 중심으로 연구하고 학습한다.
컴퓨터네트워크 (Computer Networks)
- 학부에서 습득된 컴퓨터 통신 관련 지식을 기반으로 데이터 링크 계층부터 응용 계층에 이르기까지 다양한 컴퓨터 네트워크 기술들에 대한 보다 심화된 이해를 갖도록 한다. 이하의 통신관련 과목을 이수하기 위해 필요한 세부적인 지식을 습득하는데 그 목적이 있다.
컴퓨터통신성능분석 (Performance Analysis of Computer Communications)
- 컴퓨터 통신 시스템 및 네트워크에 대한 수학적 성능분석기법으로 가장 많이 활용되는 큐잉이론을 공부하고 실제로 큐잉 분석이 적용된 다양한 예제를 살펴봄으로써 수학적 분석능력을 배양한다. 또한 컴퓨터 시뮬레이션을 병행하여 수학적 분석과 시뮬레이션 분석의 비교 분석을 행하는 능력도 배양한다.
고급데이터베이스 (Advanced Database)
- 데이터베이스 시스템은 대형 데이터베이스 관리를 위한 범용화된 시스템의 형태뿐만 아니라 소형 정보 가전용 데이터베이스 관리를 위한 특성화된 시스템의 형태로도 발전되는 추세이다. 이에 대비해 본 과목에서는 데이터베이스 시스템의 기능 및 구조, 관련 이론 및 최신 동향, 구현 사례 및 제품 등에 대해 알아본다. 또한, 관련 개발 프로젝트를 진행하고 이 과정 및 결과 평가는 관련 기업 및 연구 기관들과 협력해 수행한다.
고급 정보 보호 (Advanced Information Security)
- 정보 보호에 대한 이론을 이해하는 것을 목표로 한다. 정보보호의 의미, 중요성, 목표를 이해하고, 정보보호에 관련된 여러 분야들 (암호학, 보안 모델 및 정책, 운영체제 보안, 프로그램 보안, 악성 코드, 보안 평가와 관리 등)과 이들을 뒷받침 하는 이론들을 연구한다.
정보검색 (Information Retrieval)
- 정보 검색의 모델, 블리언 모델, 벡터공간 모델, 인지과학적 모델을 기반으로 하는 검색 모형등을 배운다. 또한 인터넷 검색을 중심으로 필요한 기술, 인덱스 추출, 필터링, 클러스터링, 개념 기반 검색 등에 관련된 기술을 논문을 중심으로 배운다. 응용을 위하여 인터넷상에서 검색할 수 있는 시스템을 간단히 만들고 기술을 프로젝트별로 구현하는 과제를 수행한다.
전산생물학 (Computational biology)
- 생물학 관련 데이터를 분석하는 알고리즘에 대하여 공부한다. 다루는 주제는 분자생물학의 간략한 개요를 소개하고, 이어서 motif finding, sequence alignment, gene prediction, fragment assembly, peptide sequencing, similarity search, gene expression analysis, evolutionary trees 등의 문제를 다룬다.
고급인공지능 (Advanced Artificial Intelligence)
- 지식표현과 추론을 집중적으로 공부한다. 특히 Ontology Engineering을 위한 지식 표현 및 추론을 중심으로 공부하며, 이에 대한 사례연구 중심으로 심도 있게 다룬다.
분산알고리즘 (Distributed Algorithms)
- 분산컴퓨팅 환경에서 발생되는 제반 문제를 해결하기 위한 알고리즘에 대하여 연구하고 이들 이론이 어떻게 분산시스템을 설계하는 데 이용되는지 알아본다. 분산 환경에서의 시간/클락/인과관계, distributed snapshots, virtual time, distributed mutual exclusion, consensus protocol, message logging, coordinate checkpointing, system-level diagnosis, distributed shared memory 등의 주제가 포함된다.
프로그래밍언어특강 (Special Topics in Programming Languages)
- 새로운 언어의 설계, 컴파일러나 인터프리터 등 프로그래밍언어의 구현이론, 객체지향 언어의 설계 및 구현 병렬화 컴파일러 등 프로그래밍언어 관한 연구주제를 정하여 최신의 연구동향을 공부한다.
객체지향방법론 (Object-Oriented Methods)
- 객체지향 파라다임의 기본 개념을 소개하고 다양한 객체지향 언어를 조사하고 이들이 특징을 분석한다. 객체지향 데이터베이스, 객체지향 분석 및 설계, 객체지향 사용자 인터페이스등 객체지향 파라다임을 이용하는 대표적인 전산학분야에 대한 주요개념과 시스템에 대하여 전반적으로 소개한다. 아울러 객체지향기법을 이용하기에 적합한 주요 응용분야에 대하여 다룬다. 이 과목은 선수과목을 그다지 요구하지 않는다. 고급 프로그래밍 언어에 대한 이해만 있으면 충분하다. 그러나 소프트웨어 공학이나 데이터베이스 등에 대한 이해를 갖추고 있으면 좋겠다.
고급컴퓨터그래픽스 (Advanced Computer Graphics)
- 최근 컴퓨터 그래픽스 분야에서 많은 연구가 진행되고 있는 topic들이 소개되고 이와 관련된 연구과제들이 논의된다. 이 과정에서 논의되는 topic들은 다음과 같다. visual realism, visible surface determination, image manipulation and storage, advanced graphics system architecture, advanced geometric and raster algorithms, advanced modeling techniques
컴퓨터 시스템 보안 (Computer System Security)
- 컴퓨터 시스템 내에서 발생할 수 있는 보안 문제들과 이를 해결하기 위한 방법을 자세히 다룬다. 프로그램에서 흔히 발생하는 여러 가지 에러들과 이를 이용한 침입 방법들을 연구하고, 이에 대처하기 위한 보안 방법들 (sandbox, virtual machine, 역할 기반 접근제어, 호스트 기반의 침입탐지 시스템 등)을 연구한다.
서비스지향컴퓨팅 (Service Oriented Computing)
- 이 과목에서는 서비스지향 컴퓨팅의 원리와 개념, 아키텍쳐, 이론적 배경, 기법, 그리고 표준안 등에 대하여 다룬다. 우선, 서비스지향 컴퓨팅의 대표적인 표준으로 웹서비스 (Web Service) 개념과 현재 기술동향을 살펴보고, 서비스지향 컴퓨팅을 구성하는 대표적인 요소기술인 서비스 모델링 및 명세 (service description) 기법, 서비스 결합 (service composition) 및 실행 모델, 서비스 선택 (service selection) 기법, 그리고 서비스 협력 (collaboration) 기법 등에 대하여 공부한다.
분산컴포넌트시스템 (Distributed Component Systems)
-
소프트웨서 개발 방법 및 소프트웨어 시스템의 차세대 대안으로 현재 활발히 연구가 진행되고 있는 분산 컴포넌트 분야의 관련 이론 및 각종 기반 시스템을 이론 강의와 실습을 통하여 소개한다. 본 강의에서 다루게 되는 내용은 다음과 같다.
- UML을 중심으로 하는 컴포넌트 기반 시스템의 개발 방법론
- 컴포넌트기반 시스템의 기반이 되는 각종 MiddleWare 및 응용 프레임웍
- 컴포넌트기반 시스템의 구축을 위하여 새롭게 요구되고 있는 각종 도구 개발을 위하여 필요한 기본 이론 및 연구동향
유비쿼터스 보안 및 프라이버시 (Ubiquitous Security and Privacy)
- 대규모 분산시스템에 기반한 유비쿼터스 컴퓨팅 환경은 각 장치나 네트워크의 자율적인 운영에 따라 중앙집중적인 관리가 가능할 수 없게 된다. 유비쿼터스 컴퓨팅에서 제공되는 서비스가 제공자에게 암암리에 보이지 않게, 언제 어디서나 제공되어야하는 특징 때문에 상황인지의 능력을 갖추어야하는 점이 보안과 프라이버시를 위협하는 요인이 된다는 것을 이해하고 해결하는 방법을 학습하게 된다. 이를 위하여 기존의 컴퓨팅 분야에서 개발된 기술들의 활용방법들을 익히고, 서비스의 연속성 보장이 필요한 특징에 맞춘 생존성문제와 이를 해결하는 침입감내시스템 및 프라이버시 보장을 위한 익명성문제와 자율과 협업의 방법론으로 커뮤니티 컴퓨팅 모델등을 학습한다.
정보보호 응용 특강 (Special Topics in Information Security Applications)
- 특강 형식으로 운영되며, 강의 내용은 정보 보호 분야의 최신 주제와 응용 사례를 다룬다.
데이터베이스특강 (Special Topics in Database)
- 데이터베이스 분야의 최신 연구 분야를 다룬다. 즉, 웹 2.0 기반의 웹 데이터베이스, 플래시 메모리 기반 데이터베이스, XML 데이터베이스, 분산 데이터베이스 등을 다룬다.
고급소프트웨어공학 (Advanced Software Engineering)
- 본 강좌는 소프트웨어 공학에 대한 고급 수준의 강좌로서 기존의 소프트웨어 공학의 개념, 방법론, 기법 등을 분석 평가하고 그것의 한계성 내지는 제약성을 극복하기 위해서 새롭게 대두되고 있는 객체지향적 소프트웨어 공학 ( O.O.S.E),시스템 공학, 컴포넌트 기반 소프트웨어공학 (Component Baced S.E) 및 아키텍쳐 기반 소프트웨어 공학 ( Architecture Based S.E)등에 관해서 그것들의 새로운 개념 그리고 방법론 기법 등에 대해서 포괄적으로 고찰하고 현실 적용환경을 분석 평가해 봄으로서 향후 이분야가 어떻게 발전해 갈 것인가에 대한 감각을 가지도록 하는데 목적을 둔다.
이동컴퓨팅시스템 (Mobile Computing Systems)
- 이동컴퓨팅의 전반적인 구조를 연구한 후, 이동컴퓨팅 환경의 특성 및 제약성에 따른 구성 요소들의 고려점을 연구하고 상용제품의 사례를 연구한다. 이동 Ad hoc 네트워크, 무선 TCP 등 다양한 무선 네트워킹 관련 주제들과 data &location management, hand-off 기술 등 이동컴퓨팅 환경에서의 운영체제/애플리케이션/알고리즘, 에너지 관리 등이 포함된다.
모바일임베디드네트워크 (Mobile Embedded Networks)
- 본 교과목은 임베디드기술, 모바일 컴퓨팅기술, 네트워크기술이 종합적으로 융합되어 최근 새롭게 형성되고 있는 모바일 유비쿼터스 네트워크 분야의 기본 기술을 다룬다. 주요한 교과내용은 다음과 같다. 임베디드 소프트웨어, 임베디드 플랫폼기술, 모바일 컴퓨팅, 임베디드 네트워크, 센서네트워크, 센서네트워크 시뮬레이션기술등 임베디드 모바일 분야의 주요한 연구 분야들을 논문 세미나, 강의, 실험, 팀프로젝트 등을 통하여 다루게 된다.
실시간시스템 (Real-Time Systems)
- 시간제약이 요구되는 실시간처리 시스템에 관한 이론 및 응용을 연구한다. Hard/soft real-time systems, clock-driven scheduling, priority-driven scheduling, aperiodic and sporadic jobs,resource access control, real-time communication, real-time operating systems, real-time data management 등에 대한 내용들을 다룬다.
시스템응용특강 (Special Topics in Systems and Applications)
- 급속히 발전하는 컴퓨터시스템 및 응용분야의 학문 및 기술 발전에 대응하기 위하여 관련 분야의 최신 주제 또는 세부 내용을 심도 있게 다룬다. 구체적인 주제는 개설되는 학기마다 다를 수 있다.
분산시스템설계 (Distributed System Design)
- 네트워크로 연결된 다수의 독립적인 시스템을 한 개의 커다란 시스템처럼 이용하기 위한 분산시스템의 구조, 구성 요소의 기능 및 설계에 관련된 이론을 연구하고 구현을 통하여 이해를 돕는다. 분산처리의 이론 및 응용, 동기화 문제, load balancing, remote procedure call, file sharing, distributed shared memory 등에 관한 내용이 포함된다.
초고속통신망 (High-speed Communications and Networks)
- 초고속 통신망의 기본 기술인 셀 스위칭 (ATM)과 레이블 스위칭 (MPLS)의 원리와 표준을 다룬다. 구내망, 가입자망, 근간망 등의 장비설계기술을 익히거나, API를 기반으로 한 초고속 응용 소프트웨어의 개발, 초고속 인터넷과 연동 문제, 초고속 라우팅 기술 등을 공부한다.
이동통신망 (Mobile Communications and Networks)
- 이동통신망 구성 및 의 동작원리를 이해하기 위하여 셀룰라, 무선랜, 에드혹 및 메쉬망 등의 이동망 구조, 엑세스 프로토콜, 무선자원 및 네트워크 자원관리, 핸드오버 기법, 이동성 및 위치관리, QoS, 라우팅, Mobile IP, Wireless TCP 등의 차세대 이동통신망 관련한 주제를 공부한다.
무선통신 (Wireless Communications)
- 무선통신의 원리를 이해하기 위하여 셀룰라, Indoor 환경에서의 페이딩 채널 분석, 디지털 변조방식 및 성능분석, 무선채널 간섭극복 기법, 다이버시티 및 MIMO 기술, 무선채널 할당 기법, 스펙트럼 확산 기술, FDMA, TDMA, CDMA OFDMA 등 다중접속시스템에 대하여 공부한다.
컴퓨터통신 특강 1 (Special Topics I in Computer Communications)
- 특강 형식으로 운영되며, 강의 내용은 컴퓨터 통신 분야의 최신 주제, 표준 그리고 응용분야를 다룬다.
컴퓨터통신 특강 2 (Special Topics II in Computer Communications)
- 특강 형식으로 운영되며, 강의 내용은 컴퓨터 통신 분야의 최신 주제, 표준 그리고 응용분야를 다룬다.
컴퓨터네트워크보안 (Computer Network Security)
- 신분확인 및 인증, 접근제어, 기밀성, 무결성, 부인방지 및 재사용 방지 등의 통신 보안의 필수 개념에 입각하여, 새로이 등장하고 있는 무선 Ad-hoc 이동통신 네트워크의 보안문제가 주요 주제가 된다. 주제와 관련되는 주요 키워드는 다음과 같은 것들이다 : IEEE802.11 WLAN, Bluetooth, HyperLAN, WMN (Wireless Mesh Network), Ubiquitous Sensor Network, Security Mobility.
유비쿼터스 센서네트워크 (Ubiquitous Sensor Networks)
- 유비쿼터스 센서네트워크가 갖는 특성을 이해하기 위하여 무선 센서네트워크 구조 및 관련 통신 프로토콜을 공부한다. 센서네트워크에 관련된 에너지 관리, 데이터 수집 및 처리, 추적 관리, 보안, 신뢰성,미들웨어, 성능 등에 대한 기술요소들을 다룬다.