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
Provably unlinkable smart card-based payments
Bursuc, S., Horne, R., Mauw, S. & Yurkov, S., 6 Sept 2023, Ithaca, NY, p. 1-32, 32 p.Research output: Working paper › Working Paper/Preprint
Anomaly detection using deep learning respecting the resources on board a CubeSat
Horne, R., Mauw, S., Mizera, A. & Thoemel, J., 23 Aug 2023, (E-pub ahead of print) In: Journal of Aerospace Information Systems. p. 1-14 14 p.Research output: Contribution to journal › Article › peer-review
Assessing the solid protocol in relation to security and privacy obligations
Esposito, C., Horne, R., Robaldo, L., Buelens, B. & Goesaert, E., 16 Jul 2023, In: Information. 14, 7, 36 p., 411.Research output: Contribution to journal › Article › peer-review
Wiring circuits is easy as 0, 1, omega, or is it... (Artifact)
Muijnck-Hughes, J. D. & Vanderbauwhede, W., 11 Jul 2023, In: Dagstuhl Artifacts Ser.. 9, 2, p. 4:1-4:3 3 p.Research output: Contribution to journal › Conference Contribution › peer-review
See the MSP PURE page for a full list of recent papers, grants, etc.
News
- 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
Ethel Morgan, who joined the MSP group as a Research Software Engineer. - 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.
- 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.
- 17 – 18 December 2018
- We are organising SYCO 2, the Second Symposium on Compositional Structures.
- 14 December 2018
- Robin Cockett visiting.
Older News
See here for older news.