News
- 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.