The core of the programme focuses on advanced algorithms, modern programming languages, program analysis and verification, and non-classical computation, including neural networks and quantum computing.

What would my studies look like?

Curious about the classes? Take a look at a few examples from the suggested study plan:

1st Semester

• Selected Topics on Automata Theory
• Probability in Computer Science
• Algorithmic Game Theory
• Graph Theory

2nd Semester

• Algorithms and Data Structures
• Optimization
• Introduction to Quantum Computing
• Neural Networks

3rd Semester

• Complexity
• Algorithmics for Hard Problems
• Graph Algorithms
• Coding

4th Semester

• Programming Language Semantics
• Diploma Thesis
• Advanced Combinatorics
• Satisfiability and Automated Reasoning

 Once I'm done, what can I be?

• Software Developer
• System Architect
• Verification Engineer
• Algorithm Engineer
• Quantitative Analyst

Still sounds kinda all over the map?

Don’t worry, you can choose from the following specializations:

Discrete Algorithms and Models

• Learn theoretical computer science and discrete math.
• Tackle challenging analytical problems.
• Get early research experience akin to doctoral studies.

Formal Analysis of Computer Systems

• Explore formal methods for modeling, testing, and verifying software.
• Learn about verification tools.
• Build practical skills for software quality assurance.

Principles of Programming Languages

• Get into programming paradigms and compiler design.
• Choose optimal tools and adapt to new languages with ease.

Fundamentals of Artificial Intelligence

• Ground yourself in the mathematics of AI.
• Prioritize reliability and explainability.
• Engage with research, ongoing projects, and advanced AI development.

More information