Congratulations to Olivia Weston for passing the MRes Viva! The examiners were Simon Fowler and Ulrich Berger. First supervisor was Cecilia Pradic.
Thursday, 29 February 2024
Thursday, 22 February 2024
Pieter Collins visiting
Pieter Collins is currently visiting us from Maastricht. Today he will give a talk on "Verified Verification: Formal Proofs of Rigorous Numerical Methods for Model-Checking Dynamic Systems" as a part of our Theory Seminar series.
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.
Friday, 2 February 2024
Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability"
Arno Pauly is organising the Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability" with Vasco Brattka, Alberto Marcone and Linda Westrick. More information to follow.
Subscribe to:
Posts (Atom)
CCC 2025 Comes to Swansea
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .
-
Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the... -
Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin... -
📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...