Charles University Faculty of Mathematics and Physics

Master in Computer Science - Artificial Intelligence

Kandidater kan anvende og videreutvikle teknikker for design av intelligente systemer, inkludert kunnskapsmodellering og formell modellering av komplekse systemer ved hjelp av matematisk logikk og sannsynlighetsteori, automatisert problemløsning, planlegging og tidsstyring, kontroll av autonome agenter (både virtuelle og fysiske), maskinlæring og datautvinning. De er også i stand til å analysere og formelt modellere et komplekst beslutningsproblem, foreslå en passende løsningsteknikk og implementere den.

Nyutdannede kan jobbe med forskning og utvikling i enten akademia eller industri i enhver posisjon som krever logisk resonnement, analytiske evner, en algoritmisk tilnærming og utnyttelse av moderne metoder for informatikk (deklarativ og naturinspirert programmering).