Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde


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.