Congratulations to Artsiom Hramyka (supervised by Prof Tom Kelsey) who has passed his PhD viva subject to minor corrections.

Thanks to Prof Lars Kotthoff for serving as the external examiner.