Charles University Faculty of Mathematics and Physics

Master in Computer Science - Artificial Intelligence

Kandidater kan anvende og videreudvikle teknikker til design af intelligente systemer, herunder vidensmodellering og formel modellering af komplekse systemer ved hjælp af matematisk logik og sandsynlighedsteori, automatiseret problemløsning, planlægning og tidsstyring, styring af autonome agenter (både virtuelle og fysiske), maskinlæring og data mining. De er også i stand til at analysere og formelt modellere et komplekst beslutningsproblem, foreslå en passende løsningsteknik og implementere den.

Kandidater kan arbejde i forskning og udvikling i enten den akademiske verden eller industrien i enhver stilling, der kræver logisk ræsonnement, analytiske evner, en algoritmisk tilgang og udnyttelse af moderne metoder inden for datalogi (deklarativ og naturinspireret programmering).