Congratulations to Jay Morgan for passing his PhD viva on
“Trustable Machine Learning Systems: Strategies to use expert domain knowledge to improve the performance of Deep Learning systems”.
The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.
We are glad to welcome Troy Astarte to our Computer Science Department and the Theory Group.
We are glad to welcome Pierre Pradic, who is joining the Swansea University Computer Science Department and the Theory Group this year.