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. (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
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C. (Principal Investigator), Nordvall Forsberg, F. (Co-investigator) & Watters, S. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
-
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
-
Learning programming languages by pantomime
Fagan, A. M., Lambert, A. & Goodfellow, M., 7 Jan 2025, CEP '25: : Proceedings of the 9th Conference on Computing Education Practice. New York, NY, p. 1-4 4 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Downloads (Pure) -
A logical account of subtyping for session types
Horne, R. & Padovani, L., 1 Oct 2024, In: Journal of Logical and Algebraic Methods in Programming. 141, 20 p., 100986.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Downloads (Pure) -
Concurrent Games over Relational Structures: The Origin of Game Comonads
Montacute, Y. & Winskel, G., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, p. 1-14 14 p. 58. (Proceedings of the Annual ACM/IEEE Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile16 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)
-
Teaching Excellence Award - Best in Faculty of Science (Shortlisted)
Lambert, A. (Recipient), 2022
Prize: Prize (including medals and awards)
Activities
-
ICFP 2025 - ACM SIGPLAN International Conference on Functional Programming
Allais, G. (Member of programme committee)
12 Oct 2025 → 18 Oct 2025Activity: Participating in or organising an event types › Organiser of major conference
-
31st Conference on Types for Proofs and Programs
Allais, G. (Organiser), Allais, G. (Member of programme committee), Nordvall Forsberg, F. (Organiser), Nordvall Forsberg, F. (Chair) & Gale, S. (Organiser)
9 Jun 2025 → 13 Jun 2025Activity: Participating in or organising an event types › Organiser of major conference
-
Correct by Construction Concurrent Programs in Idris 2
Allais, G. (Speaker)
14 Mar 2025Activity: Talk or presentation types › Oral presentation