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