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.
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. (Principal Investigator), Tse, D. (Principal Investigator), Waites, W. (Principal Investigator), Toledo, L. (Principal Investigator), Moreno-Rangel, A. (Principal Investigator), Sharpe, T. (Principal Investigator) & Dragojlovic-Oliveira, S. (Principal Investigator)
1/05/23 → 30/09/26
Project: Internally funded project
-
Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
Hedges, J. (Principal Investigator), Nordvall Forsberg, F. (Co-investigator) & Braithwaite, D. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/26
Project: Research Studentship Case - Internally allocated
-
SICSA Education Workshop Funding - Functional Programming in Education
Gale, S. (Principal Investigator)
30/09/25 → 30/09/25
Project: Knowledge Exchange (Conference / Seminar Hosting)
-
Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda
Chen, L.-T., Nordvall Forsberg, F. & Tsai, T.-C., 13 Nov 2025, (Accepted/In press). 15 p.Research output: Contribution to conference › Paper › peer-review
-
Thin coalgebraic behaviours are inductive
Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ: IEEE, p. 761-775 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
-
A category theoretic approach to approximate game theory
Ghani, N., 25 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 429, p. 190-202 13 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile4 Downloads (Pure)
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, F. (Recipient), Watters, S. (Recipient) & Kupke, C. (Recipient), 20 Oct 2023
Prize: Prize (including medals and awards)
-
Fellow of Advance HE (FHEA)
Gale, S. (Recipient), 17 Jul 2024
Prize: Prize (including medals and awards)
-
LICS 2025 Distinguished Paper Award
Nordvall Forsberg, F. (Recipient), de Jong, T. (Recipient), Kraus, N. (Recipient) & Xu, C. (Recipient), 6 Jun 2025
Prize: Prize (including medals and awards)
Activities
-
Scottish Programming Languages Seminar Series: December 2025
Schoen, E. (Organiser), Nordvall Forsberg, F. (Organiser), de Muijnck-Hughes, J. (Organiser) & Atkey, B. (Organiser)
3 Dec 2025Activity: Presenting or Organising an Event › Organiser of special symposia
-
Koli Calling (Event)
Lambert, A. (Peer reviewer)
16 Nov 2025Activity: Publication Peer-Review and Editorial Work › Membership of peer review panel or committee
-
CyBOK Showcase
de Muijnck-Hughes, J. (Participant)
3 Nov 2025Activity: Presenting or Organising an Event › Participation in conference