Congratulations to James Vaughan who has passed his PhD viva with minor corrections. His thesis was on “Adaptable Latent Semantics for Automated Reasoning in Large Theories” and  his examiners were Alexander Bolotov (University of Westminster) and Paul Jackson (Edinburgh).