The aim of the program is to provide: a perspective on different areas of theoretical and applied artificial intelligence; knowledge on machine learning models and the design of efficient and robust intelligent systems; knowledge on automated reasoning and formal models used in software modelling and verification; knowledge on cloud technologies and platforms; skills in implementing and using distributed and parallel algorithms in a wide range of application areas.

A particular focus of this program is on developing skills for scientific research, such that the graduates have the prerequisites to start a PhD in Computer Science.