Recent MSP publications
Type-directed programming for programming education
Lambert, A. & Gale, S., 17 Jun 2025, ITiCSE 2025 - Proceedings of the 2025 Conference on Innovation and Technology in Computer Science Education. Barendsen, E., Binkhorst, F., Velázquez-Iturbide, Á., Urquiza Fuentes, J., Paterson, J. & Quille, K. (eds.). p. 731-732 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Double acts for demystifying subroutine calling conventions
Lambert, A., Gale, S. & Schoen, E., 17 Jun 2025, ITiCSE 2025 - Proceedings of the 2025 Conference on Innovation and Technology in Computer Science Education. New York, NY, p. 733-734 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Towards being positively negative about dependent types
de Muijnck-Hughes, J., 13 Jun 2025. 3 p.Research output: Contribution to conference › Abstract › peer-review
Preserving model structure and constraints in scientific computing
Forbes , A., Lines, K., Nordvall Forsberg, F., McBride, C. & Videla, A., May 2025, In: Measurement: Sensors. 38, 101796.Research output: Contribution to journal › Conference article › peer-review
LabMate: a prospectus for types for MATLAB
McBride, C., Nakov, G., Nordvall Forsberg, F., Videla, A., Forbes , A. & Lines, K., May 2025, In: Measurement: Sensors. 38, 101460.Research output: Contribution to journal › Conference article › peer-review
See the MSP PURE page for a full list of recent papers, grants, etc.
News
- 16 – 20 June 2025
- We are organising the 11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics at Strathclyde.
- 9 – 13 June 2025
- We are organising the 31st International Conference on Types for Proofs and Programs at Strathclyde.
- 27 May – 6 June 2025
- Liang-Ting Chen visiting.
- 28 April – 2 May 2025
- Helle Hvid Hansen visiting.
- 21 – 24 April 2025
- Harsh Beohar visiting.
- 14 – 16 April 2025
- We are organising the 41st British Colloquium for Theoretical Computer Science at Strathclyde.
- 28 January 2025
- Welcome to Fiona Blackett, who is starting a PhD with Jules Hedges.
- 20 November 2024
- We are hiring! Come join us as a Chancellor's Fellow in Mathematically Structured Programming. Closing date 5 January 2025.
- 4 November 2024
- We are looking for funded UK PhD candidates for 2025.
- 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
- 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!
Older News
See here for older news.