23 June 2023: Max Haslbeck defends his PhD thesis

Max Haslbeck successfully defended his PhD thesis on “Certitying Termination Proofs of LLVM IR Programs.” Congratulations!