Recent MSP publications

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

News

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.
1 October 2019
Welcome to Jérémy Ledent and Bruno Gavranović, who have joined the MSP group as a postdoc and a PhD student, respectively.
1 September 2019
Radu Mardare is joining the MSP group. Welcome Radu!
5 – 9 August 2019
We are organising the first ever Scottish Programming Languages and Verification Summer School.
3 June 2019
Welcome to Adam Katona and Zachary Sole, who are doing summer internships in the MSP group this year, supervised by Clemens Kupke and Fredrik Nordvall Forsberg respectively.
29 May 2019
Dan Ghica visiting.

Older News

See here for older news.