Pamina Georgiou successfully defended her PhD thesis

Monday, Mar 25, 2024

Pamina Georgiou has successfully defended her PhD thesis titled "Towards Automating Induction for Software Verification Guiding Inductive Reasoning in Superposition-based Theorem Proving". Congratulations!