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., 8 Jan 2026, p. 201-215. 15 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
The Agda standard library: version 2.0
Daggitt, M. L., Allais, G., McKinna, J., Abel, A., van Doorn, N., Wood, J., Norell, U., Kidney, D. O., Meshveliani, S., Stucki, S., Carette, J., Rice, A., Hu, J. Z. S., Xia, L.-Y., You, S.-H., Mullanix, R. & Kokke, W., 20 Dec 2025, In: Journal of Open Source Software. 10, 116, 4 p., 9241.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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
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
-
Academia Sinica IIT Seminar: "Generalized Decidability via Brouwer Trees"
Nordvall Forsberg, F. (Speaker)
5 Feb 2026Activity: Talk or Presentation › Invited talk
-
Academia Sinica
Nordvall Forsberg, F. (Visiting researcher)
19 Jan 2026 → 11 Feb 2026Activity: Visiting an External Institution › Visiting an external academic institution
-
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