The Complexity of Computing Second Solutions
MFCS 2025 paperEN
co-authored with Fabian Egidy and Christian Glaßer

• Paper (DOI) (URN) (DNB)
• Presentation slides (29.08.2025)

See also: Fallen Warsaw

---

Bachelor thesis DE

• Thesis
  (30.09.2024, revised 20.11.2024)
• Poster (13.07.2024)

The Lean Proof AssistantEN

• Curry-Howard-Isomorphism
• Reasoning in Lean
• Verified implementation of InsertionSort

Presentation slides · Sample code | 26.01.2026

Lösen von 2-SAT in Linearzeit DE

• Algorithmus von Aspvall, Plass und Tarjan
• Starke Zusam­men­hangs­kompo­nen­ten
• Algorithmus von Even, Itai und Shamir

Schriftliche Ausarbeitung · Vortragsfolien | 17.02.2025

Persistente Datenstrukturen, Zipper und OpticsDE

• Zipper (Überblick)
• Persistente amortisierte O(1) Queue
• Optics (Überblick)

Schriftliche Ausarbeitung · Vortragsfolien | 08.03.2024

Sind alle NP-vollständigen Probleme im Wesentlichen gleich?DE

• Paddability
• P-Isomorphiesatz

Schriftliche Ausarbeitung · Vortragsfolien | 11.02.2022

PreisangabenverordnungDE MRMCD 2025

• Aufzeichnung
• Vortragsfolien

13.09.2025

Trump's inaugural address: Fake news?EN

• Written work (10.11.2020)
• Animated presentation as OpenDocument Presentation
  (14.12.2020, reformatted 10.07.2025)
• Presentation speaker's notes
  (14.12.2020, reformatted 10.07.2025)
• Presentation hand-out (15.12.2020)