News
29 August, 2023: Johannes Niederhauser completes his master studies
Johannes Niederhauser successfully defends his master thesis, entitled “Left-linear Completion with AC Axioms”. Congratulations. We are delighted that Johannes will pursue a PhD degree.
6 July 2023: Stanislaw Purgal defends his PhD thesis
Stanislaw Purgal successfully defended his PhD thesis on “Abstract Reasoning with Deep Learning.” Congratulations!
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!