Charles University Faculty of Mathematics and Physics

Master in Computer Science - Artificial Intelligence

졸업생들은 지식 모델링 및 수학적 논리와 확률 이론을 활용한 복잡계의 형식적 모델링, 자동화된 문제 해결, 계획 및 스케줄링, 자율 에이전트(가상 및 물리적 에이전트 모두) 제어, 머신 러닝, 데이터 마이닝 등 지능형 시스템 설계 기법을 적용하고 더욱 확장할 수 있습니다. 또한, 복잡한 의사 결정 문제를 분석하고 형식적으로 모델링하고, 적절한 해결 기법을 제안하고, 이를 구현할 수 있습니다.

졸업생은 논리적 추론, 분석 기능, 알고리즘 접근 방식, 컴퓨터 과학의 현대적 방법 활용(선언적 및 자연 영감 프로그래밍)이 필요한 모든 위치에서 학계 또는 산업계의 연구 개발 분야에서 일할 수 있습니다.