Bachelor Courses
Theoretische Informatik I (BSc Lecture, 6 CP, German)Prof. Dr. Tobias Friedrich , Martin Krejca Algorithmic Problem Solving (BSc Lecture, 3 CP, German)Prof. Dr. Tobias Friedrich , Dr. Pascal Lenzner , Michael Jung, Louise Molitor , Karen Seidel Graphentheorie (BSc Seminar, 3 CP, German)Prof. Dr. Tobias Friedrich , Gregor Lagodzinski Optimizing Project Schedules (BSc Project, 30 CP, German)Prof. Dr. Tobias Friedrich , Martin Krejca , Anna Melnichenko , Ralf Rothenberger Master Courses
Advanced Algorithmic Problem Solving (MSc Lecture, 3 CP, German)Prof. Dr. Tobias Friedrich , Dr. Pascal Lenzner , Michael Jung, Louise Molitor , Karen Seidel Parametrisierte Algorithmen (MSc Lecture, 6 CP, German)Dr. Thomas Bläsius Algorithmix (MSc Lecture, 6 CP, German) Dr. Pascal Lenzner , Michael JungPower of Randomness (MSc Seminar, 3 CP, English)Dr. Andreas Göbel Analysis of random geometric SAT instances (MSc Project, 12 CP, English)Prof. Dr. Tobias Friedrich , Dr. Andreas Göbel Geometry in industrial model-checking SAT instances (MSc Project, 12 CP, English)Prof. Dr. Tobias Friedrich , Dr. Andreas Göbel AE Project Seminar on Uniform Sampling Hypergraph Colorings (MSc Project Seminar, 6 CP, English)Prof. Dr. Tobias Friedrich , Dr. Andreas Göbel Research Seminar