Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde


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.
10 May 2019
Troels Henriksen visiting.
26 March – 1 April 2019
Johannes Marti visiting.
11 March 2019
Welcome back Guillaume Allais who is starting a postdoc with Conor McBride and Neil Ghani.

Older News

See here for older news.