Projects per year
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.
Collaborations and top research areas from the last five years
Dive into details
Select a country/territory to view shared publications and projects
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
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-reviewOpen AccessFile
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-reviewOpen AccessFile6 Downloads (Pure)
Bursuc, S., Horne, R., Mauw, S. & Yurkov, S., 6 Sept 2023, Ithaca, NY, p. 1-32, 32 p.
Research output: Working paper › Working Paper/PreprintOpen AccessFile
Xu, C. (Creator) & Nordvall Forsberg, F. (Creator), Zenodo, 5 Apr 2023