We offer lectures, seminars, and projects on theoretical computer science and algorithm engineering.

• Complementing our courses, we prepared a number of online teaching units.
• Students interested in our work are welcome to attend our regular research seminar.
• We supervise theses, which are scientifically published if appropriate.
• For past courses, see here.

Bachelor Courses

• Mathematik I (BSc Lecture, 6 CP, German)
  Dr. Timo Kötzing, Hans Gawendowicz
• Theoretische Informatik I (BSc Lecture, 6 CP, German)
  Prof. Dr. Tobias Friedrich, Georg Tennigkeit
• Theoretische Informatik unplugged (BSc Lecture, 3 CP, German)
  Dr. Timo Kötzing, Dr. Pascal Lenzner
• Algorithmic Problem Solving (BSc Lecture, 3 CP, German)
  Dr. Timo Kötzing, Dr. Pascal Lenzner
• Algorithmic Gems for AI, Games and Networks (BSc Seminar, 3 CP, English)
  Dr. Timo Kötzing, Nadym Mallek, Michelle Luise Döring, Janosch Ruff
• Probability Theory (BSc Lecture, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Samuel Baguley, Dr. Andreas Göbel
• (Advanced) Competitive Programming 2 (BSc Lecture, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Kirill Simonov, Dr. Sarel Cohen
• Analyzing Swiss-System Tournaments (BSc Project Seminar, 3 CP, English)
  Dr. Timo Kötzing, Dr. Pascal Lenzner

Master Courses

• Graph Algorithms (MSc Lecture, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. George Skretas
• (Advanced) Competitive Programming 2 (MSc Lecture, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Kirill Simonov, Dr. Sarel Cohen
• Advanced Probability Theory (MSc Lecture, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Andreas Göbel, Dr. Samuel Baguley
• Competitive Programming with Deep Learning 2 (MSc Project Seminar, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Sarel Cohen, Dr. Kirill Simonov
• PACE Challenge: One-Sided Crossing Minimization (MSc Project Seminar, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Sarel Cohen, Dr. Kirill Simonov, Aikaterini Niklavotis
• Algorithms Engineering for Distance Sensitive Oracles (MSc Project Seminar, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Sarel Cohen, Dr. Kirill Simonov, Simon Krogmann, Aikaterini Niklanovits
• Lean Interactive Theorem Prover (MSc Project Seminar, 6 CP, English)
  Prof. Dr. Tobias Friedrich, Dr. Samuel Baguley

Research Seminar

• Algorithm Engineering Research Seminar (English)
  Prof. Dr. Tobias Friedrich, Nadym Mallek, Dr. Andreas Göbel

The Algorithm Engineering group offers the following Bachelor and Master Project in the upcoming semester.

• Efficient Reachability Computation for Electric Vehicles (BSc Project, 30 CP, German)
  Prof. Dr. Tobias Friedrich, Dr. Pascal Lenzner, Dr. Kirill Simonov, Nadym Mallek, Paraskevi Machaira
• Testing for Geometry in Random Satisfiability Instances (MSc Project, 12 CP, German)
  Prof. Dr. Tobias Friedrich, Dr. Andreas Göbel, Dr. Samuel Baguley