23 June 2023: Max Haslbeck defends his PhD thesis

Details
Category: News
Read Time: 1 min

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

Page 2 of 2