Recent Completed Projects Recent Teaching 2026 WS Advent of Code (Software practical) 2026 SS Axiomatische Grundlagen der Mathematik (Seminar) 2025 WS Advent of Code (Software practical) 2025 WS Lineare Algebra I (Lecture)