Basic/Foundation
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Software Languages | 211010 | 5 | ||
| Highlights of Theoretical Computer Science | 211057 | 9 | ||
| Mathematics for Modeling and Data Analysis | 211047 | 5 | ||
| Theory of machine learning | 211052 | 9 | ||
| Cryptography | 212017 | 8 | ||
| Advanced Algorithms | 212029 | 9 | ||
| Quantum Information and Computation [M.Sc.] | 212011 | 5 | ||
Design, Implementation and Analysis of Computer Systems
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Deterministic Network Calculus | 211054 | 5 | ||
| Energy-Aware Computing Systems | 212030 | 6 | ||
| Formal Verification and Model Checking | 212041 | 5 | ||
| High-Performance Computing on Clusters | 6 | |||
| Operating-System Concepts and Implementations (no offer in WS 24/25) | 6 | |||
| High-Performance Computing on Multicore Processors | 6 | |||
| Scheduling Theory | 212032 | 5 | ||
Algorithms, Complexity, Data
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Advanced Quantum Information and Computation | 211103 | 5 | ||
| Computational Geometry | 5 | |||
| Finite Fields: Theory and Algorithms | 211058 | 5 | ||
| Highlights of Theoretical Computer Science | 211057 | 9 | ||
| Advanced Algorithms | 212029 | 9 | ||
| Computational complexity theory | 211028 | 9 | ||
| Formal Verification and Model Checking | 212041 | 5 | ||
| Quantum Information and Computation [M.Sc.] | 212011 | 5 | ||
| Proofs are programs [M.Sc.] | 211003 | 5 | ||
Computer Security
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Advanced Automatic Testing | 211067 | 5 | ||
| Digital Sovereignty | 211059 | 6 | ||
| Cryptographic protocols | 211031 | 5 | ||
| Mobile Network Security | 211012 | 5 | ||
| Physical Attacks and Countermeasures | 211034 | 5 | ||
| Program Analysis | 5 | |||
| Public Key Cryptanalysis 1 | 211055 | 5 | ||
| Software Security 2 | 211063 | 5 | ||
| Blockchain Security and Privacy | 212007 | 5 | ||
| Microarchitectural Attacks and Defenses | 212064 | 5 | ||
| Cryptography | 212017 | 8 | ||
| Cryptography on hardware-based platforms | 212019 | 5 | ||
| Software Security 1 [M.Sc.] | 5 | |||
| Quantum Cryptography | 212016 | 5 | ||
Software Engineering and Programming Languages
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Advanced Automatic Testing | 211067 | 5 | ||
| Autonomous Vehicles and Artificial Intelligence | 211044 | 5 | ||
| High-Performance Computing on Multicore Processors | 6 | |||
| Software Languages | 211010 | 5 | ||
| Autonomous Vehicles and Artificial Intelligence Lab | 212035 | 5 | ||
| High-Performance Computing on Clusters | 6 | |||
| Proofs are programs [M.Sc.] | 211003 | 5 | ||
| Foundations of Programming Languages, Verification, and Security | 211062 | 5 | ||
Artificial Intelligence
Seminars
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Seminars | 3 | |||
| Seminar Perlen der Logik | 211117 | 3 | ||
| Master-Seminar "Digitale Souveränität" | 211132 | 3 | ||
| Seminar: Current topics in microarchitectural security | 211134 | 3 | ||
| Seminar Mathematics and Computation: Convex Optimization | 211136 | 3 | ||
| Seminar Networked Systems | 211137 | 3 | ||
| Seminar Safety and Reliability in Artificial Intelligence | 211138 | 3 | ||
| Master Seminar: Building Trust in Large Language Models | 211140 | 3 | ||
| Seminar on Applied Privacy and Anonymity | 211141 | 3 | ||
| Seminar Ressourceneffiziente Systemsoftwarekonzepte | 212111 | 3 | ||
| Seminar Distributed Systems | 212114 | 3 | ||
| Advanced Topics in Deep Learning | 212120 | 3 | ||
| Seminar Quantum Information and Computation | 212123 | 3 | ||
| Seminar Software and Internet Security | 212125 | 3 | ||
| Seminar zu Algorithmen | 212129 | 3 | ||
| Algorithms for Decision Making | 212130 | 3 | ||
| Seminar Mobile Network Security | 212134 | 3 | ||
| Recent Trends in Interpretability of Artificial Intelligence Models | 212137 | 3 | ||
| Automated Software Engineering | 212138 | 3 | ||
Practical Labs
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Practical Labs | 3 | |||
| Practical Course on Mobile Network Security | 211404 | 3 | ||
| Software Testing via Fuzzing | 211418 | 3 | ||
| Embedded Firmware Fuzzing | 211419 | 3 | ||
| Introductory project in microarchitectural security | 211427 | 3 | ||
| Research in Internet Security | 211431 | 3 | ||
| Research in Software Security | 211433 | 3 | ||
| Practical Course on Traffic Analysis Attacks | 211436 | 3 | ||
| Advanced Research in Microarchitectural Security | 212424 | 3 | ||
| Advanced python programming | 212426 | 3 | ||
| Practical Course on Machine Learning Security | 212427 | 3 | ||
| Lab Course: Challenging Problems in Reinforcement Learning | 212428 | 3 | ||
Projects
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Project | 10 | |||
Free Elective Moduls
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Free Elective Moduls | 20 | |||
Masterthesis
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Master's thesis and colloquium | 30 | |||