Course Overview

Course list

Winter term 2025/2026

Algorithmen und Datenstrukturen für Informatik-Lehramt Sekundarstufe I Lukas Wachter
Formalizing Mathematics in LEAN Leon Pernak
Grundlagen der Signalverarbeitung Dietrich Klakow
Grundlagen von Informatiksystemen Lukas Wachter
Image Acquisition Methods Dr. Pascal Peter
Interpolation and Approximation for Visual Computing Vassillen Chizhov
Neural Networks: Implementation and Application (CoLI/LST students only!!!!) Dietrich Klakow
Neural Networks: Theory and Implementation Dietrich Klakow
Program Analysis Prof. Dr. Jan Reineke

Summer term 2025

Advanced Time Series Analysis: From probabilistic to foundational models Tim Bauerschmidt, Batuhan Koyuncu, María Martínez-García, Isabel Valera
AI Coding Assistants: Hype or Game Changer? Prof. Dr. Sven Apel, Dr. Marvin Wyrich, Dr. Norman Peitek
Algorithms for Sequence Analysis Sven Rahmann
Analysis 2 Prof. Dr. Moritz Weber
Big Data Engineering Prof. Dr. Jens Dittrich
Big Data Engineering für Informatik-Lehramt Sekundarstufe I Lukas Wachter
Bioinformatik 2 Andrea Volkamer, Olga Kalinina
Build an 8-bit Computer from Scratch Sebastian Hack
Causality for Complexity Theorists Markus Bläser
Causethical Machine Learning Kavya Gupta, Nektarios Kalampalikis, Deborah Dormah Kanubala, Isabel Valera
Concurrent Programming Felix Freiberger
Cyber-Physical Systems Martina Maggio
Digital Signal Processing Dietrich Klakow
Distributed Systems Peter Druschel and Deepak Garg
Einführung in die Programmierung für Informatik-Lehramt Sekundarstufe I Lukas Wachter
Elementare Zahlentheorie Mark Groves
Elemente der Programmierung Dean Zenner
Empirical Software Engineering Research Prof. Dr. Sven Apel, Dr. Norman Peitek
Equality Saturation Sebastian Hack
Formale Sprachen und Automaten für Informatik-Lehramt Sekundarstufe I Lukas Wachter
Geometric Group Theory (Geometrische Gruppentheorie) Manuel Kany, Gabriela Weitze-Schmithuesen
Gescheiterte Digitalisierung Prof. Dr. Jens Dittrich
Grundkurs Künstliche Intelligenz (Studierende anderer Fächer) Prof. V. Wolf
Hands on Networking (Block Course March 2025) Thorsten Herfet
High-Level Computer Vision Bernt Schiele
Höhere Mathematik für Ingenieure IV A Christian Steinhart
Höhere Mathematik für Ingenieure IV B Christian Steinhart
Image Compression Dr. Pascal Peter
Image Processing and Computer Vision Prof. Dr. Joachim Weickert
Intelligent Systems and Human Learning Prof. Dr. Tomohiro Nagashima
Interactive Systems Prof. Dr. Jürgen Steimle
Internet Transport (SS 2025) Thorsten Herfet
Interpreting and Analyzing Neural Language Models Xinting Huang
Introduction to Computational Logic Prof. Gert Smolka
Inverse Problems in Banach Spaces Prof. Dr. Thomas Schuster
Lineare Algebra II Vladimir Lazić
Machine Learning Peter Ochs
Mathematical Statistics Henryk Zähle
Mathematik für Informatiker*innen II / Mathematics for Computer Scientists II Prof. Dr. Mark Groves, Dr. Tobias Mai
Mathematik für Naturwissenschaftler II Simon Brandhorst
Neural Networks in Brains and Computers Michael Hahn
Non-Life Insurance Mathematics Thuan Nguyen
Numerical Algorithms for Visual Computing Vassillen Chizhov
Numerik von Eigenwerten Andreas Buchheit, Andreas Rupp
Parameter Identification for Partial Differential Equations Prof. Dr. Thomas Schuster
Pearls of Functional Programming Dominic Zimmer
Programming 2 Sebastian Hack, Jörg Hoffmann
Programming 2 Pre-Course Prog2 Pre-Course Team
Programming Course (MSc Bioinformatics) Pascal Hirsch
Project Seminar Data Science and Artificial Intelligence Dr. Till Koebe, Prof. Dr. Ingmar Weber
Proseminar Large Language Models Michael Hahn
Quantitative Model Checking Holger Hermanns
Realistic Image Synthesis Philipp Slusallek, Karol Myszkowski, Corentin Salaün, Pascal Grittmann
Reliability in Modern Cloud Systems Vaastav Anand
Reproducible methods in metagenomics Sven Rahmann, Johanna Schmitz, Jens Zentgraf
Seminar Generating Functions Gabriela Weitze-Schmithuesen
Software Engineering Lab (Software-Praktikum) Prof. Dr. Sven Apel, Dr. Norman Peitek
Softwarepraktikum für Informatik-Lehramt Sekundarstufe I Lukas Wachter
Software Project: Linguistic Interpretibility for Neural Models of Language Kate McCurdy
Spatiotemporal Models and Inference (Seminar) Dr. Jonas Wahl
Statistical Natural Language Processing Dietrich Klakow
StatsLab Vera Demberg
Stochastik I Christian Bender
System Architecture Prof. Dr. Jan Reineke, Dr. Guillaume Didier
Theorie und Numerik gewöhnlicher Differentialgleichungen Andreas Rupp
Trusted AI Planning Dr. Daniel Höller, Prof. Dr. Jörg Hoffmann
Verification Prof. Dr. Benjamin Kaminski

Winter term 2024/2025

Advanced topics in complexity theory Markus Bläser
Advanced Topics in Neural Rendering and Reconstruction Thomas Leimkühler, Rishabh Dabral, Marc Habermann, Vladislav Golyanik, Christian Theobalt
Algebra Gabriela Weitze-Schmithuesen
Algorithms and Data Structures Prof. Dr. Raimund Seidel
Analysis I Moritz Weber
Anwendungen der Linearen Algebra Friedrich Günther, Gabriela Weitze-Schmithuesen
Artificial Intelligence Prof. Dr. Jörg Hoffmann, Dr. Daniel Höller
Audio-Visual Communication & Networks (WS 2024) Thorsten Herfet
Augmenting Language Models with Tools and Knowledge Xinting Huang
Bioinformatik 1 Prof. Dr. Andreas Keller
BioStatsLab Prof. Dr. Sven Rahmann
Compiler Construction Sebastian Hack
Computational Social Choice Yongjie Yang
Current Topics in Bacterial Identification from Genomic Data Grégoire Siekaniec
Data and Society Annika Hass, Till Koebe, Ingmar Weber
Database Systems Prof. Dr. Jens Dittrich
Differential Equations in Image Processing and Computer Vision Prof. Joachim Weickert
Differential Geometry / Differentialgeometrie Mark Groves
Digital Transmission & Signal Processing (WS2024) Thorsten Herfet
Einführung in die Computerlinguistik Prof. Dr. Vera Demberg
Einführung in die Numerik Andreas Rupp
Einführung in LaTeX Friedrich Günther
Elements of Data Science and Artificial Intelligence Prof. Dr. Vera Demberg, Dr. Till Koebe, Prof. Dr. Bernt Schiele, Prof. Dr. Andrea Volkamer, Prof. Dr. Ingmar Weber
Elements of Machine Learning Kavya Gupta, Isabel Valera
Erfolgreich Präsentieren: Techniken und Strategien Olga Kalinina
Formal Verification of Systems Software Andrea Lattuada, Derek Dreyer
Foundations of Mathematics Prof. Michael Hahn
Functional Analysis Michael Hartz
Grundlagen der Medieninformatik Prof. Dr. Antonio Krüger
Grundlagen der Signalverarbeitung Dietrich Klakow
Grundlagen von Informatiksystemen Lukas Wachter, Franz Walgenbach
Hands-on Graph Neural Networks Joschka Groß, Verena Wolf
Hardware Security: Testing and Verification Jan Reineke, Rehab Massoud
Höhere Mathematik für Ingenieure III Christian Steinhart
Human Computer Interaction Prof. Dr. Jürgen Steimle
Ideen der Informatik Prof. Dr. Kurt Mehlhorn, Prof. Dr. Dr. Corinna Coupette
Image Acquisition Methods Dr. Pascal Peter
Introduction to Algorithms and Data Structures Prof. Karl Bringmann
Introduction to Theoretical Computer Science Markus Bläser
Inverse Problems in Elasticity Prof. Thomas Schuster
Lineare Algebra I Vladimir Lazić
Mathematics for Computer Scientists III Prof. Dr. Henryk Zähle
Mathematik für Informatiker*innen I / Mathematics for Computer Scientists I Prof. Dr. Anja Randecker, Dr. Tobias Mai
Mathematik für Naturwissenschaftler I Simon Brandhorst
Mathematik für Studierende der Biologie und des Lehramtes Chemie Christian Steinhart
Microbiome Data Analysis Alexey Gurevich
Neural Networks: Implementation and Application (CoLI/LST students only!!!!) Dietrich Klakow
Neural Networks: Theory and Implementation Dietrich Klakow
Neuro-symbolic General Policy Learning Timo Philipp Gros, Joerg Hoffmann, Daniel Höller, Nicola Müller, Verena Wolf
Perspectives of Computer Science Prof. Dr. Sven Rahmann
Processing Morphology Kate McCurdy
Program Analysis Prof. Dr. Jan Reineke
Programming 1 Martina Maggio
(Pro-)Seminar Elliptische Kurven Simon Brandhorst
(Pro-) Seminar Machine Learning and Computer Tomography Thomas Schuster, Alice Oberacker
Seminar Operators on Hilbert Space Michael Hartz
Software Engineering Prof. Dr. Sven Apel
Statistics with R Vera Demberg
Stochastics II Henryk Zähle
Systems with Specialized Hardware Artem Ageev, Tejas Harith, Antoine Kaufmann
The Eye of the Beholder: What Can Eye-Tracking Data Reveal about Code? Prof. Dr. Sven Apel, Dr. Norman Peitek
Tutor Didactics Seminar Tim Bauerschmidt, Janine Lohse, Martina Maggio, Jannik Nau, Clara Rubeck
VSI Mint Proseminar "Erstellung mathematischer Texte mit LaTeX" Friedrich Günther, Moritz Weber

Summer term 2024

AI Planning Prof. Dr. Jörg Hoffmann, Dr. Daniel Fišer
Algebraic Methods in Formal Language Theory Leon Pernak, Jan Philipp Wächter
Algorithms for Sequence Analysis Prof. Dr. Sven Rahmann
Aligning Language Models with Humans: Methods and Challenges Michael Hahn
Big Data Engineering Prof. Dr. Jens Dittrich
Big Data Engineering für Informatik-Lehramt Sekundarstufe I Lukas Wachter, Franz Walgenbach
Bioinformatik 2 Olga Kalinina, Andrea Volkamer
Cocurrent Programming Felix Freiberger, Holger Hermanns
Competitive Programming Markus Bläser, Karl Bringmann, Martin Bromberger, Christoph Weidenbach
Complexity Theory Markus Bläser, Harry Zisopoulos
Compositionality in Language and Computation Kate McCurdy
Das Buch der Beweise/Proofs from the book Markus Bläser
Einführung in die Didaktik der Informatik Jens Gallenbacher
Elementare Zahlentheorie Mark Groves
Elemente der Programmierung Alice Oberacker
Fine-Grained Complexity Theory Karl Bringmann
Formale Sprachen und Automaten für Informatik-Lehramt Sekundarstufe I Lukas Wachter, Franz Walgenbach
Funktionentheorie Michael Hartz
Genome Mining (Pro/Seminar) Jun.-Prof. Dr. Alexey Gurevich
Hands on Networking (Block Course March 2024) Thorsten Herfet
High-Level Computer Vision Bernt Schiele
Image Compression Dr. Pascal Peter
Image Processing and Computer Vision Prof. Dr. Joachim Weickert
Interactive Systems Jürgen Steimle
Internet Transport Thorsten Herfet
Introduction to Computational Logic Prof. Gert Smolka
Introduction to the Asian board game Go Markus Bläser, Cedric Holle
Language Models at the Intersection of Cognitive Science and Software Engineering Prof. Dr. Sven Apel
Lineare Algebra 2 Gabriela Weitze-Schmithüsen
Machine Learning Isabel Valera
Machine Learning in single-cell RNA-sequencing analysis Annika Engel, Matthias Flotho, Friederike Grandke, Pascal Hirsch, Fabian Kern, Tobias Wolff
Mathematical Statistics Frederik Herzberg
Mathematik für Informatiker*innen II / Mathematics for Computer Scientists II Dr. Pascal Peter, Dr. Tobias Mai
Mathematik für Naturwissenschaftler II Vladimir Lazić
Neural Networks in Brains and Computers Michael Hahn
Numerical Algorithms for Visual Computing Vassillen Chizhov
Operating Systems Antoine Kaufmann, Yiting Xia, Laurent Bindschaedler
Operator Algebras Michael Hartz
Partial Differential Equations 1 / Partielle Differentialgleichungen 1 Mark Groves
Probing and Analyzing Neural Language Models Xinting Huang
Programming 2 Holger Hermanns, Andreas Schmidt
Programming 2 Pre-Course Prog2 Pre-Course Team
Programming Course: Python (MSc Bioinformatics) Prof. Dr. Sven Rahmann
Project Seminar Data Science and Artificial Intelligence Vikram Kamath Cannanure, Till Koebe, Ingmar Weber
Proseminar: Einführung in die Philosophie der Mathematik Frederik Herzberg
Seminar AI for HCI: optimization methods for user interface design and adaptation Anna Maria Feit, João Belo
Seminar Dessins d'enfants Gabriela Weitze-Schmithüsen
Seminar: Philosophie der Mathematik Frederik Herzberg
Software Engineering Lab (Software-Praktikum) Prof. Dr. Sven Apel, Dr. Norman Peitek
Softwarepraktikum für Informatik-Lehramt Sekundarstufe I Lukas Wachter, Franz Walgenbach
Special Topics in Deep Reinforcement Learning Timo Philipp Gros, Verena Wolf
Statistical Natural Language Processing Dietrich Klakow
Statistics Lab Verena Wolf
Stochastic Differential Equations Prof. Dr. Christian Bender
Stochastik I Prof. Dr. Henryk Zähle
System Architecture Jan Reineke

Show older courses...

CMS

Course list

Winter term 2025/2026

Summer term 2025

Winter term 2024/2025

Summer term 2024