Recent MSP publications
XACML2mCRL2: automatic transformation of XACML policies into mCRL2 specifications
Arshad, H., Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., 31 Jan 2024, In: Science of Computer Programming. 232, 10 p., 103046.Research output: Contribution to journal › Article › peer-review
A gap analysis on modelling of sea lice infection pressure from salmonid farms. I. A structured knowledge review
Moriarty, M., Murphy, J. M., Brooker, A. J., Waites, W., Revie, C. W., Adams, T. P., Lewis, M., Reinardy, H. C., Phelan, J. P., Coyle, J. P., Rabe, B., Ives, S. C., Armstrong, J. D., Sandvik, A. D., Asplin, L., Karlsen, Ø., Garnier, S., á Norði, G., Gillibrand, P. A., Last, K. S., & 1 others, 18 Jan 2024, In: Aquaculture Environment Interactions. 16, p. 1-25 25 p.Research output: Contribution to journal › Article › peer-review
A gap analysis on modelling of sea lice infection pressure from salmonid farms. II. Identifying and ranking knowledge gaps: output of an international workshop
Murphy, J. M., Moriarty, M., Brooker, A. J., Waites, W., Revie, C. W., Adams, T. P., Lewis, M., Reinardy, H. C., Phelan, J. P., Coyle, J. P., Rabe, B., Ives, S. C., Armstrong, J. D., Sandvik, A. D., Asplin, L., Karlsen, Ø., Garnier, S., á Norði, G., Gillibrand, P. A., Last, K. S., & 1 others, 18 Jan 2024, In: Aquaculture Environment Interactions. 16, p. 27-42 16 p.Research output: Contribution to journal › Article › peer-review
Colouring flags with Dafny & Idris
de Muijnck-Hughes, J. & Noble, J., 14 Jan 2024.Research output: Contribution to conference › Paper › peer-review
Scoped and typed staging by evaluation
Allais, G., 11 Jan 2024, Ithaca, N.Y., 11 p.Research output: Working paper › Working Paper/Preprint
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
- 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.
- 10 May 2019
- Troels Henriksen visiting.
Older News
See here for older news.