Recent MSP publications

See the MSP PURE page for a full list of recent papers, grants, etc.

News

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 hosting the Scottish Programming Languages and Verification Summer School 2024 at Strathclyde.
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.
1 October 2020
Welcome to André Videla, Eigil Rischel and Matteo Capucci, who are starting PhDs in the MSP group.
25 September 2020
Neil is giving weekly tutorial sessions on Open Games for MSP newcomers. Video recordings are available here.
1 September 2020
Glynn Winskel and Jules Hedges have joined the MSP group. Welcome!
2 March 2020
Welcome to Craig Roy who has joined MSP as a KTP Associate at Cambridge Quantum Computing.
6 January 2020
Welcome to Georgi Nakov who is starting a PhD under the supervision of Fredrik Nordvall Forsberg.

Older News

See here for older news.