24 October 2025: Jonas Schöpf defends his PhD thesis

Jonas Schöpf successfully defended his PhD thesis on “Automated Analysis of Logically Constrained Rewrite Systems.” Congratulations!