Swansea Theoretical Computer Science Research Group: congratulations

Showing posts with label congratulations. Show all posts

Thursday, 29 February 2024

MRes Viva

Congratulations to Olivia Weston for passing the MRes Viva! The examiners were Simon Fowler and Ulrich Berger. First supervisor was Cecilia Pradic.

Wednesday, 21 February 2024

Tonicha Crook passed her PhD viva

Congratulations to Tonicha Crook passed her PhD viva today. The examiners were Pieter Collins (Maastricht) and Faron Moller (Swansea). The title of her PhD thesis is: Computable Analysis and Game Theory: From Foundations to Applications. The PhD was supervised by Arno Pauly.

Some recent papers/book chapters

Predicativity of the Mahlo Universe in Type Theory P Dybjer, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Termination-checked Solidity-style smart contracts in Agda in the presence of Turing completeness FF Alhabardi, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Berger, U., & Seisenberger, M. (2023). On the computational content of choice principles. Handbook of Bishop Constructive Mathematics.
Berger, U., Seisenberger, M., Spreen, D., & Tsuiki, H. (2023). Concurrent Gaussian elimination. doi:10.48550/ARXIV.2305.10125
Bergstra, J. A., & Tucker, J. V. (2023). A complete finite equational axiomatisation of the fracterm calculus for common meadows. doi:10.48550/ARXIV.2307.04270

Swansea Theoretical Computer Science Research Group

Thursday, 29 February 2024

MRes Viva

Wednesday, 21 February 2024

Tonicha Crook passed her PhD viva

We are at the 41st British Colloquium for Theoretical Computer Science at Strathclyde University (Glasgow)

Blog Archive

Labels