Johannes Schoisswohl successfully defended his PhD thesis
Thursday, Jul 2, 2026We're proud to announce that Johannes Schoisswohl has successfully defended his PhD thesis titled "Saturation-Based Theorem Proving in Linear Arithmetic". Congratulations!