Projects per year
Organisation profile
Organisation profile
Our vision is to use mathematics to understand the nature of computation, and to turn that understanding into the next generation of programming languages.
We see the mathematical foundations of computation and programming as inextricably linked. We study one so as to develop the other.
This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages — any attempt to sever this connection will diminish each component.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Mathematically Structured Programming is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Bob Atkey
- Computer And Information Sciences - Senior Lecturer
- Mathematically Structured Programming
Person: Academic
-
EICCOH: Strathclyde Centre for Doctoral Training: Energy-efficient Indoor Climate Control for Optimised Health
McGill, G., Tse, D., Waites, W., Toledo, L., Moreno-Rangel, A., Sharpe, T. & Dragojlovic-Oliveira, S.
1/05/23 → 30/09/26
Project: Internally funded project
-
-
Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
Ghani, N., Hedges, J. & Braithwaite, D.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
-
A fresh look at commutativity: free algebraic structures via fresh lists
Kupke, C., Nordvall Forsberg, F. & Watters, S., 29 Nov 2023, (E-pub ahead of print) p. 1-20. 20 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
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
Open AccessFile6 Downloads (Pure) -
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
Open AccessFile
Datasets
-
Cubical Agda formalization of Three equivalent ordinal notation systems
Xu, C. (Creator) & Nordvall Forsberg, F. (Creator), Zenodo, 5 Apr 2023
Dataset
-
Data for: "Type-Theoretic Approaches to Ordinals"
Nordvall Forsberg, F. (Creator), Xu, C. (Creator) & Kraus, N. (Creator), Zenodo, 5 Apr 2023
Dataset
Prizes
-
APLAS 2023 Best paper award
Nordvall Forsberg, Fredrik (Recipient), Watters, Sean (Recipient) & Kupke, Clemens (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
Activities
-
Scoped and Typed Staging by Evaluation
Guillaume Allais (Speaker)
8 Nov 2023Activity: Talk or presentation types › Invited talk
-
Scottish Programming Languages Seminar Series
Jan de Muijnck-Hughes (Organiser), Fredrik Nordvall Forsberg (Organiser), Riu Rodriguez Sakamoto (Organiser) & Dilsat Bilal YUKSEL (Organiser)
22 Nov 2023Activity: Participating in or organising an event types › Organiser of special symposia
-
Scottish Programming Languages Seminar Series
Guillaume Allais (Participant)
22 Nov 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course