Teaching

Lectures

• 2026: Geometry of Convex Polytopes (MPI Leipzig)
• 2024: Rigidity Theory for Frameworks and Polytopes (TU Berlin)
• 2022: Polytope Theory (Warwick)
• 2017: Computer Aided Geometric Design (TU Chemnitz)
• 2016: Solid Modeling (TU Chemnitz)

Mini courses

• 2026: Geometry and Combinatatorics of Rigidity (FU Berlin)

Supervising and Mentoring

PhD theses

• 2026: (ongoing) O. Röhrig, Connecting Formal Mathematics and Verified Combinatorial Computing in Lean
• 2026: T. Baumbach, Cone-volumes and affine adjoints

Master theses

• 2026: (ongoing) V. Tsyreklevich, Valuation Theory in Lean
• 2023: K. K. Gottwald, Approaching a Characterization of Generically Closed Orthogonal Matrix Groups
• 2022: N. Nagel, Notes on the Union Closed Sets Conjecture

Third-year projects

• 2024: D. E. Türköz, Properties of Circulants and Related Graphs (Warwick)

For the full list of my teaching experience, see my CV.