Master of Science in Computer Science

["are enabled to describe and analyse problems with formal methods;", "acquire up-to-date research results and detailed, deep knowledge from a self-chosen area within the so-called Focus Areas, which are Classical and Quantum Algorithm Design, Computer and Communication Systems, Data Science and Intelligent Systems, Security, and Software Engineering;", "are enabled to develop solutions to incompletely defined problems;", "can handle complex, incomplete, and even contradictory information; and", "can structure and formalise problems and solution approaches.", "design and implement computing models, systems, and processes;", "apply innovative methods;", "develop the area of computing as a scientific discipline;", "define goals and topics, infer task assignments, organise solutions, lead and represent teams; and", "assess the non-technical effects of computing systems."]