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.
Domestic
21 Mar 2026