Teaching

We offer a wide range of courses in theoretical computer science, both at basic and advanced levels. Please find an overview of our current courses below. Further information is available at the linked Moodle/PULS pages.

We also provide supervision for Bachelor/Master theses in the context of algorithms and complexity.    Topics for Bachelor's and Master's theses are assigned according to students' personal interests. If you want to write a thesis with us, please contact Prof. Dr. Linda Kleist directly.

• Algorithms and Data Structures
• Proof assistents, Theorem Provers and Formal Methods
• Research Seminar Theoretical Computer Science II
• Graphs, Geometry and Algorithms
• Theoretical Computer Science II: Efficient Algorithms
• Cartesian Seminar