Announcement_5

Created on November 02, 2026

2026

Defended my PhD thesis Finding, Simplifying and Presenting Proofs Automatically at LMU Munich, magna cum laude (1.13)