![[Translate to English:]](/storages/cs/_processed_/e/1/csm_header_2e1ffc93f5.png "[Translate to English:]")
Preview of courses for the next semesters
In the following table you will find the teaching schedule of the Department of Computer Science. Please note that in particular
- courses can be dropped and
- courses can be added, as well as
- the scope of courses can change and
- the organizer can change.
For information on courses taking place, please refer to the online course catalog LSF.
Teaching preview
Bachelor's degree
| Planned in semester | Abbreviation | module | Organizer:in | Type |
| SoSe 25 | INF-BSc-110 | INF-BSc-110: Proseminar | Ben Hermann | Proseminar |
| summer semester 25 | INF-BSc-115 | INF-BSc-115: Software Engineering (SWT) | Ben Hermann | Lecture |
| summer semester 25 | Business Process Management | Christian Janiesch | Lecture + exercise | |
| summer semester 25 | INF-BSc-104 | INF-BSc-104: Data Structures, Algorithms and Programming 2 (DAP 2) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| Summer semester 25 | INF-BSc-105 | INF-BSc-105: Hardware practical course (HaPra) | Georg von der Brüggen | practical course |
| summer semester 25 | INF-BSc-107 | INF-BSc-107: Information Systems | Jens Teubner | BSc Compulsory |
| SoSe 25 | INF-BSc-109 | INF-BSc-109: Basic Concepts of Theoretical Computer Science | Bea Bollig | Lecture |
| summer semester 25 | INF-BSc-110 | INF-BSc-110: Convolutional Neural Networks - Methods and Applications | Frank Weichert | Proseminar |
| SoSe 25 | INF-BSc-113 | INF-BSc-113: Hardware practical course for students with a minor in electrical engineering | Georg von der Brüggen | Practical course |
| summer semester 25 | INF-BSc-213 | INF-BSc-213: Functional Programming (FuPro) | Jakob Rehof | Lecture + exercise |
| summer semester 25 | INF-BSc-221 | INF-BSc-221: Efficient Algorithms (EA) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| SoSe 25 | INF-BSc-223 | INF-BSc-222: Representation, Processing and Acquisition of Knowledge (DVEW) | Jean Jung | Lecture |
| summer semester 25 | INF-BSc-231 | INF-BSc-231: Computer Architecture | Jian-Jia Chen | Lecture |
| summer semester 25 | INF-BSc-233 | INF-BSc-233: Model-Based Optimization and Analysis | Peter Buchholz | Lecture |
| summer semester 25 | INF-BSc-277 | INF-BSc-277: Specialized project "Big Data Analytics Lab (BDA-Lab) | Emmanuel Müller | Specialized project |
| SoSe 25 | INF-BSc-279 | INF-BSc-279: Project "Routing Algorithms" | Klaus Förster | Specialized project |
| summer semester 25 | INF-BSc-318 | INF-BSc-318: Introduction to data visualization | Frank Weichert | Lecture |
| summer semester 25 | INF-BSc-325 | INF-BSc-325: Modeling of Concurrent Processes (MNP) | Jakob Rehof | Lecture + exercise |
| summer semester 25 | IT Strategy and Management | Christian Janiesch | Lecture + exercise | |
| winter semester 25/26 | INF-BSc-224 | INF-BSc-224: Big Data Analytics (BDA) | Emmanuel Müller | Lecture + exercise |
| winter semester 25/26 | INF-BSc-308 | Business Information Systems | Christian Janiesch | Lecture + exercise |
| winter semester 25/26 | Specialized Project EC: Process Automation | Christian Janiesch | Specialized Project | |
| winter semester 25/26 | INF-BSc-101 | INF-BSc-101: Computer Structures (RS) | Jian-Jia Chen | Lecture |
| winter semester 25/26 | INF-BSc-105 | INF-BSc-105: Hardware Practical Course (HaPra) | Georg von der Brüggen | Practical course |
| winter semester 25/26 | INF-BSc-106 | INF-BSc-106: Logic for Computer Science | Jean Jung | Lecture |
| winter semester 25/26 | INF-BSc-110 | INF-BSc-110: Proseminar | Klaus Förster | Proseminar |
| winter semester 25/26 | INF-BSc-110 | INF-BSc-110: Proseminar | Kevin Buchin | Proseminar |
| winter semester 25/26 | INF-BSc-110 | INF-BSc-110: Proseminar | Peter Buchholz | Proseminar |
| winter semester 25/26 | INF-BSc-110 | INF-BSc-110: Proseminar "Pioneers of Computer Science" | Petra Wiederkehr | Proseminar |
| winter semester 25/26 | INF-BSc-113 | INF-BSc-113: Hardware practical course for students with a minor in electrical engineering | Georg von der Brüggen | Practical course |
| winter semester 25/26 | INF-BSc-118 | INF-BSc-118: Computer Networks and Distributed Systems (RvS) | Klaus Förster | Lecture |
| winter semester 25/26 | INF-BSc-232 | INF-BSc-232: Embedded Systems (ES) | Jian-Jia Chen | Lecture |
| winter semester 25/26 | INF-BSc-234 | INF-BSc-234: Human-Machine Interaction | Frank Weichert | Lecture |
| winter semester 25/26 | INF-BSc-301 | INF-BSc-301: Digital Image Processing | Frank Weichert | Lecture |
| winter semester 25/26 | INF-BSc-302 | INF-BSc-302: Security: Questions and Solutions (SFL) | Christian Rossow | Lecture |
| winter semester 25/26 | INF-BSc-305 | INF-BSc-305 / AR-MSc-306 Introduction to Computational Intelligence | Günter Rudolph | Lecture + exercise (elective module / export module) |
| winter semester 25/26 | Proseminar | Christian Janiesch | Proseminar | |
| winter semester 25/26 | Trustworthyness, Interpretability and Fairness in Machine Learning | Emmanuel Müller | Proseminar | |
| summer semester 26 | INF-BSc-110 | INF-BSc-110: Proseminar | Ben Hermann | Proseminar |
| summer semester 26 | INF-BSc-115 | INF-BSc-115: Software Engineering (SWT) | Ben Hermann | Lecture |
| summer semester 26 | Business Process Management | Christian Janiesch | Lecture + exercise | |
| Summer semester 26 | INF-BSc-104 | INF-BSc-104: Data Structures, Algorithms and Programming 2 (DAP 2) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| Summer semester 26 | INF-BSc-105 | INF-BSc-105: Hardware practical course (HaPra) | Georg von der Brüggen | Practical course |
| summer semester 26 | INF-BSc-107 | INF-BSc-107: Information Systems | Jens Teubner | BSc compulsory |
| Summer semester 26 | INF-BSc-109 | INF-BSc-109: Basic Concepts of Theoretical Computer Science | Thomas Schwentick | Lecture |
| summer semester 26 | INF-BSc-110 | INF-BSc-110: Convolutional Neural Networks - Methods and Applications | Frank Weichert | Proseminar |
| Summer semester 26 | INF-BSc-110 | INF-BSc-110: Proseminar "Computer Science meets Mechanical Engineering" | Petra Wiederkehr | Proseminar |
| summer semester 26 | INF-BSc-113 | INF-BSc-113: Hardware practical course for students with a minor in electrical engineering | Georg von der Brüggen | Practical course |
| summer semester 26 | INF-BSc-213 | INF-BSc-213: Functional Programming (FuPro) | Jakob Rehof | Lecture + exercise |
| summer semester 26 | INF-BSc-221 | INF-BSc-221: Efficient Algorithms (EA) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| SoSe 26 | INF-BSc-224 | INF-BSc-222: Representation, Processing and Acquisition of Knowledge (DVEW) | Jean Jung | Lecture |
| Summer semester 26 | INF-BSc-231 | INF-BSc-231: Computer Architecture | Jian-Jia Chen | Lecture |
| Summer semester 26 | INF-BSc-233 | INF-BSc-233: Model-Based Optimization and Analysis | Peter Buchholz | Lecture |
| Summer semester 26 | INF-BSc-277 | INF-BSc-277: Specialized project "Big Data Analytics Lab (BDA-Lab) | Emmanuel Müller | Specialized project |
| Summer semester 26 | INF-BSc-318 | INF-BSc-318: Introduction to data visualization | Frank Weichert | Lecture |
| Summer semester 26 | INF-BSc-325 | INF-BSc-325: Modeling of Concurrent Processes (MNP) | Jakob Rehof | Lecture + exercise |
| summer semester 26 | IT Strategy and Management | Christian Janiesch | Lecture + exercise | |
| winter semester 26/27 | INF-BSc-224 | INF-BSc-224: Big Data Analytics (BDA) | Emmanuel Müller | Lecture + exercise |
| winter semester 26/27 | INF-BSc-308 | Business Information Systems | Christian Janiesch | Lecture + exercise |
| winter semester 26/27 | Introduction to WI | Christian Janiesch | Lecture + exercise | |
| winter semester 26/27 | Specialized Project EC: Process Automation | Christian Janiesch | Specialized Project | |
| winter semester 26/27 | INF-BSc-101 | INF-BSc-101: Computer Structures (RS) | Jian-Jia Chen | Lecture |
| winter semester 26/27 | INF-BSc-105 | INF-BSc-105: Hardware Practical Course (HaPra) | Georg von der Brüggen | Practical course |
| winter semester 26/27 | INF-BSc-106 | INF-BSc-106: Logic for Computer Science | Thomas Schwentick | Lecture |
| winter semester 26/27 | INF-BSc-110 | INF-BSc-110: Proseminar | Klaus Förster | Proseminar |
| winter semester 26/27 | INF-BSc-110 | INF-BSc-110: Proseminar | Kevin Buchin | Proseminar |
| winter semester 26/27 | INF-BSc-110 | INF-BSc-110: Proseminar | Peter Buchholz | Proseminar |
| winter semester 26/27 | INF-BSc-110 | INF-BSc-110: Proseminar "Pioneers of Computer Science" | Petra Wiederkehr | Proseminar |
| winter semester 26/27 | INF-BSc-113 | INF-BSc-113: Hardware practical course for students with a minor in electrical engineering | Georg von der Brüggen | Practical course |
| winter semester 26/27 | INF-BSc-118 | INF-BSc-118: Computer Networks and Distributed Systems (RvS) | Klaus Förster | Lecture |
| winter semester 26/27 | INF-BSc-232 | INF-BSc-232: Embedded Systems (ES) | Jian-Jia Chen | Lecture |
| winter semester 26/27 | INF-BSc-234 | INF-BSc-234: Human-Machine Interaction | Frank Weichert | Lecture |
| winter semester 26/27 | INF-BSc-301 | INF-BSc-301: Digital Image Processing | Frank Weichert | Lecture |
| winter semester 26/27 | INF-BSc-302 | INF-BSc-302: Security: Questions and Solutions (SFL) | Christian Rossow | Lecture |
| winter semester 26/27 | INF-BSc-305 | INF-BSc-305 / AR-MSc-306 Introduction to Computational Intelligence | Günter Rudolph | Lecture + exercise (elective module / export module) |
| winter semester 26/27 | Proseminar | Christian Janiesch | Proseminar | |
| winter semester 26/27 | Trustworthyness, Interpretability and Fairness in Machine Learning | Emmanuel Müller | Proseminar | |
| summer semester 27 | INF-BSc-110 | INF-BSc-110: Proseminar | Ben Hermann | Proseminar |
| summer semester 27 | INF-BSc-115 | INF-BSc-115: Software Engineering (SWT) | Ben Hermann | Lecture |
| summer semester 27 | Business Process Management | Christian Janiesch | Lecture + exercise | |
| summer semester 27 | INF-BSc-104 | INF-BSc-104: Data Structures, Algorithms and Programming 2 (DAP 2) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| Summer semester 27 | INF-BSc-107 | INF-BSc-107: Information Systems | Jens Teubner | BSc Compulsory |
| Summer semester 27 | INF-BSc-110 | INF-BSc-110: Convolutional Neural Networks - Methods and Applications | Frank Weichert | Proseminar |
| summer semester 27 | INF-BSc-110 | INF-BSc-110: Proseminar "Computer Science meets Mechanical Engineering" | Petra Wiederkehr | Proseminar |
| summer semester 27 | INF-BSc-221 | INF-BSc-221: Efficient Algorithms (EA) | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| summer semester 27 | INF-BSc-231 | INF-BSc-231: Computer Architecture | Jian-Jia Chen | Lecture |
| summer semester 27 | INF-BSc-277 | INF-BSc-277: Specialized Project "Big Data Analytics Lab (BDA-Lab) | Emmanuel Müller | Specialized project |
| Summer semester 27 | INF-BSc-279 | INF-BSc-279: Project "Routing Algorithms" | Klaus Förster | Specialized project |
| Summer semester 27 | INF-BSc-318 | INF-BSc-318: Introduction to data visualization | Frank Weichert | Lecture |
| summer semester 27 | IT Strategy and Management | Christian Janiesch | Lecture + exercise | |
| winter semester 27/28 | INF-BSc-110 | INF-BSc-110: Proseminar | Klaus Förster | Proseminar |
| winter semester 27/28 | INF-BSc-118 | INF-BSc-118: Computer Networks and Distributed Systems (RvS) | Klaus Förster | Lecture |
| winter semester 27/28 | Trustworthyness, Interpretability and Fairness in Machine Learning | Emmanuel Müller | Proseminar |
Master
| Planned in semester | Abbreviation | module | Organizer:in | Type |
| SoSe 25 | INF-MSc-334 | INF-MSc-334: Verification of Neural Networks | Daniel Neider | Lecture + Exercise |
| summer semester 25 | Case Study - Uncertainty quantification in deep learning | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| SoSe 25 | INF-MSc-102 | INF-MSc-102: Current topics in graphical data processing | Frank Weichert | Seminar |
| summer semester 25 | INF-MSc-102 | INF-MSc-102: Seminar "Virtual Manufacturing" | Petra Wiederkehr | Seminar |
| Summer semester 25 | INF-MSc-223 | INF-MSc-223: Real-Time Systems and Applications | Jian-Jia Chen | Lecture |
| summer semester 25 | INF-MSc-231 | INF-MSc-231 Practical Optimization | Günter Rudolph | Lecture + exercise (basic module) |
| summer semester 25 | INF-MSc-236 | INF-MSc-236: Machine Learning Paradigms for Complex Data | Emmanuel Müller | Lecture + exercise |
| summer semester 25 | INF-MSc-242 | INF-MSc-242: Complexity Theory | Thomas Schwentick | Lecture |
| summer semester 25 | INF-MSc-327 | INF-MSc-327: Current Topics in Logic-Based Software Engineering | Andrej Dudenhefner | Lecture + exercise |
| summer semester 25 | INF-MSc-417 | INF-MSc-417: Concepts of Distributed Systems and Algorithms (KVSA) | Klaus Förster | Lecture |
| summer semester 25 | INF-MSc-503 | INF-MSc-503: Data Visualization | Frank Weichert | Lecture |
| summer semester 25 | INF-MSc-602 | INF-MSc-602: Algorithmic Geometry | Kevin Buchin | Lecture |
| summer semester 25 | MSc-510 | IT Management | Christian Janiesch | Lecture + exercise |
| summer semester 25 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| SoSe 25 | Seminar (EC/DLI) | Christian Janiesch | seminar | |
| SoSe 25 | Seminar (MSc) Knowledge Representation / Database Theory | Jean Jung | Seminar | |
| winter semester 25/26 | INF-MSc-102 | INF-MSc-102: Seminar | Ben Hermann | seminar |
| winter semester 25/26 | INF-MSc-329 | INF-MSc-329: Type Systems for Correctness and Security (TSCS) | Ben Hermann | Lecture |
| winter semester 25/26 | INF-MSc-335 | INF-MSc-335: Automata Theory and its Application 2 | Daniel Neider | Lecture + exercise |
| winter semester 25/26 | INF-MSc-336 | INF-MSc-336: Automata Theory and its Application 2 | Jean Jung | Lecture and exercise |
| winter semester 25/26 | Case Study - ... | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| winter semester 25/26 | INF-MSc-????: Software Security | Christian Rossow | Lecture | |
| winter semester 25/26 | INF-MSc-102 | INF-MSc-102: Medical Image and Signal Processing: Deep Learning, Simulation and Visualization | Frank Weichert | Seminar |
| winter semester 25/26 | INF-MSc-102 | INF-MSc-102: Seminar | Klaus Förster | Seminar |
| winter semester 25/26 | INF-MSc-102 | INF-MSc-102: Seminar | Kevin Buchin | seminar |
| winter semester 25/26 | INF-102 | INF-MSc-102: Seminar (Computer Science and Ethics) | Bea Bollig | Seminar |
| winter semester 25/26 | INF-MSc-221 | INF-MSc-221: Modeling and Analysis of Embedded and Distributed Systems | Peter Buchholz and Klaus Förster | Lecture |
| winter semester 25/26 | INF-MSc-232 | INF-MSc-232: Pattern Recognition | Gernot A. Fink | Basic module |
| winter semester 25/26 | INF-MSc-233 | INF-MSc-233: Graphical Data Processing | Mario Botsch | MSc Basis |
| winter semester 25/26 | INF-MSc-241 | INF-MSc-241: Algorithms and Data Structures | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| winter semester 25/26 | INF-MSc-401 | INF-MSc-401: Modeling, Simulation and Analysis | Peter Buchholz | Lecture |
| winter semester 25/26 | INF-MSc-404 | INF-MSc-404: Network Security | Christian Rossow | Lecture |
| winter semester 25/26 | INF-MSc-412 | INF-MSc-412: Data Processing on Modern Hardware | Jens Teubner | Advanced module |
| winter semester 25/26 | INF-MSc-522 | INF-MSc-522: Computer Animation | Mario Botsch | MSc specialization |
| winter semester 25/26 | INF-MSc-605 | INF-MSc-605: Database Theory | Thomas Schwentick | Lecture |
| winter semester 25/26 | Interpretable Machine Learning | Emmanuel Müler | Seminar | |
| winter semester 25/26 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| winter semester 25/26 | Project Group ... (on various Machine Learning Topics) | Emmanuel Müller | PG | |
| winter semester 25/26 | Seminar | Daniel Neider | Seminar | |
| winter semester 25/26 | Seminar (MSc) Knowledge Representation / Database Theory | Jean Jung | seminar | |
| summer semester 26 | INF-MSc-334 | INF-MSc-334: Verification of Neural Networks | Daniel Neider | Lecture + Exercise |
| summer semester 26 | Case Study - Uncertainty quantification in deep learning | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| SoSe 26 | INF-MSc-102 | INF-MSc-102: Current topics in graphical data processing | Frank Weichert | Seminar |
| Summer semester 26 | INF-MSc-223 | INF-MSc-223: Real-Time Systems and Applications | Jian-Jia Chen | Lecture |
| Summer semester 26 | INF-MSc-231 | INF-MSc-231 Practical Optimization | Günter Rudolph | Lecture + exercise (basic module) |
| Summer semester 26 | INF-MSc-236 | INF-MSc-236: Machine Learning Paradigms for Complex Data | Emmanuel Müller | Lecture + exercise |
| Summer semester 26 | INF-MSc-327 | INF-MSc-327: Current Topics in Logic-Based Software Engineering | Andrej Dudenhefner | Lecture + exercise |
| Summer semester 26 | INF-MSc-503 | INF-MSc-503: Data Visualization | Frank Weichert | Lecture |
| Summer semester 26 | INF-MSc-505 | INF-MSc-505: Geometric Modeling | Mario Botsch | MSc specialization |
| Summer semester 26 | INF-MSc-602 | INF-MSc-602: Algorithmic Geometry | Kevin Buchin | Lecture |
| Summer semester 26 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| Summer semester 26 | INF-MSc-502 | Module INF-MSc-502: Computer Vision | Gernot A. Fink | Advanced module |
| Summer semester 26 | Seminar (EC/DLI) | Christian Janiesch | Seminar | |
| SoSe 26 | Seminar (MSc) Knowledge Representation / Database Theory | Jean Jung | seminar | |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Seminar | Ben Hermann | Seminar |
| winter semester 26/27 | INF-MSc-329 | INF-MSc-329: Type Systems for Correctness and Security (TSCS) | Ben Hermann | Lecture |
| winter semester 26/27 | INF-MSc-335 | INF-MSc-335: Automata Theory and its Application 3 | Daniel Neider | Lecture + exercise |
| winter semester 26/27 | INF-MSc-336 | INF-MSc-336: Automata Theory and its Application 2 | Jean Jung | Lecture and exercise |
| winter semester 26/27 | Case Study - ... | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Medical image and signal processing: deep learning, simulation and visualization | Frank Weichert | Seminar |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Seminar | Klaus Förster | Seminar |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Seminar | Kevin Buchin | seminar |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Seminar "Principles of Programming Languages" | Jakob Rehof | seminar |
| winter semester 26/27 | INF-MSc-102 | INF-MSc-102: Seminar (Computer Science and Ethics) | Bea Bollig | Seminar |
| winter semester 26/27 | INF-MSc-221 | INF-MSc-221: Modeling and Analysis of Embedded and Distributed Systems | Peter Buchholz and Klaus Förster | Lecture |
| winter semester 26/27 | INF-MSc-232 | INF-MSc-232: Pattern Recognition | Gernot A. Fink | Basic module |
| winter semester 26/27 | INF-MSc-233 | INF-MSc-233: Graphical Data Processing | Mario Botsch | MSc Basis |
| winter semester 26/27 | INF-MSc-241 | INF-MSc-241: Algorithms and Data Structures | Kevin Buchin/Amin Coja-Oghlan | Lecture |
| winter semester 26/27 | INF-MSc-325 | INF-MSc-325: Logical Methods of Software Engineering 1 (LMSE1) | Jakob Rehof | Lecture + exercise |
| winter semester 26/27 | INF-MSc-326 | INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) | Jakob Rehof | Lecture + exercise |
| winter semester 26/27 | INF-MSc-401 | INF-MSc-401: Modeling, Simulation and Analysis | Peter Buchholz | Lecture |
| winter semester 26/27 | INF-MSc-412 | INF-MSc-412: Data Processing on Modern Hardware | Jens Teubner | Advanced module |
| winter semester 26/27 | INF-MSc-522 | INF-MSc-522: Computer Animation | Mario Botsch | MSc specialization |
| winter semester 26/27 | Interpretable Machine Learning | Emmanuel Müler | Seminar | |
| winter semester 26/27 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| winter semester 26/27 | Project Group ... (on various Machine Learning Topics) | Emmanuel Müller | PG | |
| winter semester 26/27 | Seminar | Daniel Neider | Seminar | |
| winter semester 26/27 | Seminar (MSc) Knowledge Representation / Database Theory | Jean Jung | seminar | |
| summer semester 27 | INF-MSc-334 | INF-MSc-334: Verification of Neural Networks | Daniel Neider | Lecture + Exercise |
| summer semester 27 | Case Study - Uncertainty quantification in deep learning | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| SoSe 27 | INF-MSc-102 | INF-MSc-102: Current topics in graphical data processing | Frank Weichert | Seminar |
| Summer semester 27 | INF-MSc-223 | INF-MSc-223: Real-Time Systems and Applications | Jian-Jia Chen | Lecture |
| Summer semester 27 | INF-MSc-231 | INF-MSc-231 Practical Optimization | Günter Rudolph | Lecture + exercise (basic module) |
| Summer semester 27 | INF-MSc-236 | INF-MSc-236: Machine Learning Paradigms for Complex Data | Emmanuel Müller | Lecture + exercise |
| summer semester 27 | INF-MSc-242 | INF-MSc-242: Complexity Theory | Thomas Schwentick | Lecture |
| summer semester 27 | INF-MSc-417 | INF-MSc-417: Concepts of Distributed Systems and Algorithms (KVSA) | Klaus Förster | Lecture |
| summer semester 27 | INF-MSc-503 | INF-MSc-503: Data Visualization | Frank Weichert | Lecture |
| Summer semester 27 | INF-MSc-505 | INF-MSc-505: Geometric Modeling | Mario Botsch | MSc specialization |
| Summer semester 27 | INF-MSc-602 | INF-MSc-602: Algorithmic Geometry | Kevin Buchin | Lecture |
| summer semester 27 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| Summer semester 27 | INF-MSc-502 | Module INF-MSc-502: Computer Vision | Gernot A. Fink | Advanced module |
| Summer semester 27 | Seminar (EC/DLI) | Christian Janiesch | Seminar | |
| winter semester 27/28 | INF-MSc-102 | INF-MSc-102: Seminar | Ben Hermann | seminar |
| winter semester 27/28 | INF-MSc-329 | INF-MSc-329: Type Systems for Correctness and Security (TSCS) | Ben Hermann | Lecture |
| winter semester 27/28 | Case Study - ... | Emmanuel Müller | Case Study (MSc Data Science see PG) | |
| winter semester 27/28 | INF-MSc-????: Software Security | Christian Rossow | Lecture | |
| winter semester 27/28 | INF-MSc-102 | INF-MSc-102: Seminar | Klaus Förster | Seminar |
| winter semester 27/28 | INF-MSc-102 | INF-MSc-102: Seminar "Principles of Programming Languages" | Jakob Rehof | seminar |
| winter semester 27/28 | INF-MSc-325 | INF-MSc-325: Logical Methods of Software Engineering 1 (LMSE1) | Jakob Rehof | Lecture + exercise |
| winter semester 27/28 | INF-MSc-326 | INF-MSc-326: Logical Methods of Software Engineering 2 (LMSE2) | Jakob Rehof | Lecture + exercise |
| winter semester 27/28 | Interpretable Machine Learning | Emmanuel Müler | Seminar | |
| winter semester 27/28 | Machine Learning Research Seminar | Emmanuel Müller | Seminar | |
| winter semester 27/28 | Project Group ... (on various Machine Learning Topics) | Emmanuel Müller | PG | |
| SoSe 28 | INF-MSc-505 | INF-MSc-505: Geometric Modeling | Mario Botsch | MSc specialization |
Teaching profession
| Planned in semester | Abbreviation | module | Organizer:in | Type |
| winter semester 24/25 | Formal Methods 2 (belongs to module INF-BL-104 and INF-BL-112) | Bea Bollig | Lecture + exercise | |
| summer semester 25 | Formal Methods 1 (belongs to module INF-BL-102) | Bea Bollig | Lecture + exercise | |
| winter semester 25/26 | Formal Methods 2 (belongs to module INF-BL-104 and INF-BL-112) | Bea Bollig | Lecture + exercise | |
| summer semester 26 | Formal Methods 1 (belongs to module INF-BL-102) | Bea Bollig | Lecture + exercise | |
| winter semester 26/27 | Formal Methods 2 (belongs to module INF-BL-104 and INF-BL-112) | Bea Bollig | Lecture + exercise | |
| summer semester 27 | Business Process Management | Christian Janiesch | Lecture + exercise |