10 October 2025: Christina Kirk defends her PhD thesis

Christina Kirk successfully defended her PhD thesis on “Formalizing Confluence Criteria in Term Rewriting Using Proof Terms.” Congratulations!