Recent MSP publications
Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda
Chen, L.-T., Nordvall Forsberg, F. & Tsai, T.-C., 8 Jan 2026, p. 201-215. 15 p.Research output: Contribution to conference › Paper › peer-review
The Agda standard library: version 2.0
Daggitt, M. L., Allais, G., McKinna, J., Abel, A., van Doorn, N., Wood, J., Norell, U., Kidney, D. O., Meshveliani, S., Stucki, S., Carette, J., Rice, A., Hu, J. Z. S., Xia, L.-Y., You, S.-H., Mullanix, R. & Kokke, W., 20 Dec 2025, In: Journal of Open Source Software. 10, 116, 4 p., 9241.Research output: Contribution to journal › Article › peer-review
Thin coalgebraic behaviours are inductive
Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ: IEEE, p. 761-775 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
A category theoretic approach to approximate game theory
Ghani, N., 25 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 429, p. 190-202 13 p.Research output: Contribution to journal › Conference article › peer-review
Reinforcement Learning in Categorical Cybernetics
Hedges, J. & Rodríguez Sakamoto, R., 25 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 429, p. 270-286 17 p.Research output: Contribution to journal › Conference article › peer-review
See the MSP PURE page for a full list of recent papers, grants, etc.
News
- 10 December 2025
- Congratulations to Malin Altenmüller for defending her PhD thesis, passing with minor corrections!
- 9 – 11 December 2025
- Noam Zeilberger visiting.
- 4 December 2025
- We are looking for UK PhD candidates for 2026.
- 3 December 2025
- We are organising the Scottish Programming Languages Seminar.
- 1 December 2025
- Welcome to Vikraman Choudhury, who is joining us as a Chancellor's Fellow/Lecturer.
- 26 November 2025
- Congratulations to Eigil Rischel for defending his PhD thesis, passing with minor corrections!
- 17 October 2025
- Welcome to Kit Liu, who is starting a PhD with Fredrik Nordvall Forsberg.
- 1 October 2025
- Welcome to Emma Tye, who is starting a PhD with Guillaume Allais.
- 9 July 2025
- Congratulations to Riu Rodríguez Sakamoto for successfully passing his PhD viva with minor corrections!
- 16 – 20 June 2025
- We are organising the 11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics.
- 9 – 13 June 2025
- We are organising the 31st International Conference on Types for Proofs and Programs.
- 27 May – 6 June 2025
- Liang-Ting Chen visiting.
- 28 April – 2 May 2025
- Helle Hvid Hansen visiting.
- 21 – 24 April 2025
- Harsh Beohar visiting.
- 14 – 16 April 2025
- We are organising the 41st British Colloquium for Theoretical Computer Science.
- 28 January 2025
- Welcome to Fiona Blackett, who is starting a PhD with Jules Hedges.
- 20 November 2024
- We are hiring! Come join us as a Chancellor's Fellow in Mathematically Structured Programming. Closing date 5 January 2025.
- 4 November 2024
- We are looking for funded UK PhD candidates for 2025.
- 1 October 2024
- Welcome to Samuel Fish, who is starting a PhD in the MSP group.
- 2 September 2024
- Welcome to Clovis Eberhart, who is joining the MSP group as a research fellow.
- 13 August 2024
- Daniele Gorla visiting.
- 29 July – 2 August 2024
- We are organising the Scottish Programming Languages and Verification Summer School 2024.
- 17 April 2024
- Dov Gabbay visiting.
- 4 – 8 March 2024
- Paolo Torrens visiting.
- 14 February 2024
- We have a PhD position available with a start date of 1 October 2024.
- 13 February 2024
- Nobuko Yoshida is visiting.
- 29 January 2024
- Congratulations to Joe Collins for successfully passing his PhD viva with minor corrections!
- 12 January 2024
- Congratulations to James Wood for successfully passing his PhD viva with minor corrections!
- 4 December 2023
- We are organising the second Categories Network Project (CATNIP) meeting.
- 22 – 23 November 2023
- Danel Ahman is visiting.
- 22 November 2023
- We are organising the Scottish Programming Languages Seminar.
- 22 September 2023
- Congratulations to Bruno Gavranović for successfully passing his PhD viva with minor corrections!
- 5 May 2023
- Welcome to Iwan Quémerais, who is doing an internship with Clemens Kupke over the summer.
- 5 May 2023
- Johannes Marti is visiting.
- 4 May 2023
- Welcome to Ethel Morgan, who joined the MSP group as a Research Software Engineer.
- 14 April 2023
- Thorsten Altenkirch visiting.
- 1 April 2023
- Welcome to Guillaume Allais, who joined the MSP group as a Chancellor's Fellow.
- 29 March 2023
- Prakash Panangaden visiting.
- 6 – 14 March 2023
- Nathaniel Virgo visiting.
- 8 November 2022
- Congratulations to Guillaume Allais for successfully passing his PhD viva with minor corrections!
- September – December 2022
- Jacques Carette visiting.
- 18 – 22 July 2022
- We are organising the 5th international conference on Applied Category Theory.
- 10 January 2022
- Welcome to William Waites, who joined the MSP group as a Chancellor's Fellow.
- 1 October 2021
- Welcome to Dylan Braithwaite and Sean Watters, who are starting PhDs in the MSP group.
- 2 September 2021
- Congratulations to Radu who got the best paper award at CALCO 2021, for his paper Tensor of Quantitative Equational Theories with G. Bacci, P. Panangaden and G. Plotkin.
- 1 August 2021
- Jade Master has joined the MSP group. Welcome!
- 21 July 2021
- Welcome to Riu Rodríguez Sakamoto, who is starting a PhD in the MSP group.
- 1 July 2021
- Welcome to Ezra Schoen, who is starting a PhD in the MSP group.
Older News
See here for older news.