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!