Welcome

We welcome our new PhD students Marek Jezinski and Samarthya Patel to the group!

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.

GoSCAI 2024

Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the GoSCAI workshop and discussion of research opportunities with Grenoble.

Congratulations

Cécilia was invited to join the PC of the JFLA 2025 and Arnold was invited to join PC of ICALP 2024.

Excursion to Gower

Our Agda Implementors Meeting finished today with a lovely walk in Gower. 

Agda Implementors Meeting

The 38th Agda Implementors' Meeting is taking place at the Computational Foundry from Monday 13 to Saturday 18 May 2024. It will be hosted by the Theoretical Computer Science Research Group, Department of Computer Science, Swansea University

Fahad Alhabardi passed his PhD viva

Congratulations to Fahad Alhabardi for passing his PhD (supervised by Anton Setzer and Arnold Beckmann) viva today! Thanks to the external examiner Conor McBride from Strathclyde University, the internal examiner Ulrich Berger, and the chair Bertie Mueller.