Showing posts with label success. Show all posts
Showing posts with label success. Show all posts

Friday, 5 July 2024

Congratulations

 Congratulations to our research students:

  • Raghav Kovvuri passed a PhD viva on Explainable Artificial Intelligence across Domains: Refinement of SHAP (supervised by Fan, Monika and Bertie)
  • Tonicha Crook has successfully completed the corrections for her PhD thesis, supervised by Arno.
  • Victor CAI successfully defended this MSc by research viva titles Show me how it's wrong. 
  • Sadeer Beden successfully defended his PhD, supervised by Arnold and Cinzia Giannetti.

CCC 2025 Comes to Swansea

This September Swansea will be hosting   CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .