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 | 9 | ||
| Energy-Aware Computing Systems | 212030 | 6 | ||
| Formal Verification and Model Checking | 212041 | 5 | ||
| High-Performance Computing on Clusters | 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.] (no offer in WS 25/26) | 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 and Decentralized Security | 5 | |||
| Cryptography | 212017 | 8 | ||
| Cryptography on hardware-based platforms | 212019 | 5 | ||
| Microarchitectural Attacks and Defenses | 212064 | 5 | ||
| Privacy Engineering, Data Governance and Usability | 5 | |||
| Quantum Cryptography (no offer in WS 25/26) | 212016 | 5 | ||
| Software Security 1 [M.Sc.] | 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 | ||
| Foundations of Programming Languages, Verification, and Security | 211062 | 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.] (no offer in WS 25/26) | 211003 | 5 | ||
Artificial Intelligence
| Module Event(LV) | Course-Number | CP | Term | |
|---|---|---|---|---|
| SOSE | WISE | |||
| Autonomous Vehicles and Artificial Intelligence | 211044 | 5 | ||
| Computational Neuroscience: Single-Neuron Models | 211039 | 6 | ||
| Computational Neuroscience: Vision and Memory | 211049 | 5 | ||
| Engineering for Large Language Models | 211065 | 6 | ||
| Machine Learning: Supervised Methods (no offer in SS 25) | 211024 | 6 | ||
| Privacy-Preserving Natural Language Processing | 211068 | 6 | ||
| Responsible AI | 211064 | 6 | ||
| Theory of machine learning | 211052 | 9 | ||
| AI Ethics And Society | 212044 | 5 | ||
| Autonomous Vehicles and Artificial Intelligence Lab | 212035 | 5 | ||
| Deep Learning | 212018 | 5 | ||
| Natural language processing with deep learning [M.Sc] | 212038 | 5 | ||
| Machine Learning: Unsupervised Methods | 10 | |||
| Numerical Optimization | 212043 | 6 | ||
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 | ||
| Seminar Randomisierte Algorithmen | 211139 | 3 | ||
| Master Seminar: Building Trust in Large Language Models | 211140 | 3 | ||
| Seminar on Applied Privacy and Anonymity | 211141 | 3 | ||
| Seminar: Introduction to Bayesian modeling | 211144 | 3 | ||
| Seminar Computer science perspectives on Mis- and disinformation | 212108 | 3 | ||
| Seminar Ressourceneffiziente Systemsoftwarekonzepte | 212111 | 3 | ||
| Seminar Security Engineering | 212112 | 3 | ||
| Seminar Distributed Systems | 212114 | 3 | ||
| Advanced Topics in Deep Learning | 212120 | 3 | ||
| Seminar Quantum Information and Computation | 212123 | 3 | ||
| Seminar Internet Security | 212125 | 3 | ||
| Seminar Software Security | 212126 | 3 | ||
| Seminar on Algorithms | 212129 | 3 | ||
| Algorithms for Decision Making | 212130 | 3 | ||
| Seminar Mobile Network Security | 212134 | 3 | ||
| Automated Software Engineering | 212138 | 3 | ||
| Learning Meets Theoretical Computer Science | 212140 | 3 | ||
| Search-Based Code Generation | 212142 | 3 | ||
| Ethics in Computer Science Research | 212143 | 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 | ||
| Praktikum Systemsoftwaretechnik | 212405 | 3 | ||
| Lab Course: Introduction To Bayesian Modeling | 212417 | 3 | ||
| Advanced python programming | 212426 | 3 | ||
| Practical Course on Machine Learning Security | 212427 | 3 | ||
| Lab Course: Challenging Problems in Reinforcement Learning | 212428 | 3 | ||
| Open-Source Chip Design | 212429 | 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 | |||