Research output per year
Research output per year
Organisation profile
Organisation profile
What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?
Fingerprint
Dive into the research topics where Foundations of Computation 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
-
Myrto Arapinis
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
David Aspinall
- School of Informatics - Personal Chair in Software Safety and Security
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Julian Bradfield
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Assessing the Impact of Haulage drivers in Uganda's COVID-19 Delta Wave
Muwonge, A., Bessell, P. R., Bronsvoort, M., Mugerwa, I., Mwaka, E., Ssebaggala, E., Wee, B. A., Kiayias, A., Mpyangu, C. M. & Joloba, M. L., Dec 2025, In: Journal of Epidemiology and Global Health. 15, 1, p. 1-14 14 p., 54.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A tale of two zippers
Wadler, P., Taylor, R. & Krijnen, J. O. G., 12 Oct 2025, OLIVIERFEST '25: Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday. New York, NY, USA: Association for Computing Machinery (ACM), p. 239-250 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
E-cclesia: Universally composable self-tallying elections over anonymous broadcast
Ackermann, L., Arapinis, M., Georgiou, P., Lamprou, N., Mareková, L. & Zacharias, T., 6 Oct 2025, In: IACR Communications in Cryptology. 2, 3, p. 1-67 67 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
-
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Gorla, D. (Chair) & Libkin, L. (Chair)
29 Jun 2021 → 2 Jul 2021Activity: Participating in or organising an event types › Participation in conference
-
ACM SIGMOD/PODS International Conference on Management Data
Libkin, L. (Chair), Pichler, R. (Chair) & Guagliardo, P. (Chair)
21 Jun 2021 → 23 Jun 2021Activity: Participating in or organising an event types › Participation in conference
-
Journal of Logical and Algebraic Methods in Programming (Journal)
Galpin, V. (Guest editor), Milazzo, P. (Guest editor) & Monreale, A. (Guest editor)
25 Oct 2019Activity: Publication peer-review and editorial work types › Editorial activity
Prizes
-
2011 ICDT Best Paper Award
David, C. (Recipient), Libkin, L. (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
-
-
-
Scalable simulation of noisy quantum computers on heterogeneous computing clusters
Barbalace, A. (Principal Investigator), Shaikhha, A. (Co-investigator), Mai, L. (Co-investigator), Marina, M. (Co-investigator), O'Boyle, M. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-investigator)
1/04/23 → 31/03/26
Project: Research
-
Quantum Advantage Pathfinder - Proposal for research and leadership role in quantum software and algorithms
Kashefi, E. (Principal Investigator), Heunen, C. (Co-investigator), Arapinis, M. (Co-investigator), Wallden, P. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-Investigator (External))
1/04/23 → 31/03/26
Project: Research
-
IORH: INPUT OUTPUT RESEARCH HUB
Kiayias, A. (Principal Investigator)
1/02/23 → 31/01/28
Project: Research
Datasets
-
Quickstrom: Property-based acceptance testing with LTL specifications
O'Connor, L. (Creator) & Wickström, O. (Creator), Zenodo, 5 Mar 2022
Dataset
-
Software for "How to Bake a Quantum Pi"
Carette, J. (Creator), Sabry, A. (Creator), Heunen, C. (Creator) & Kaarsgaard, R. (Creator), Zenodo, 5 Jun 2024
DOI: 10.5281/zenodo.11491613, https://github.com/JacquesCarette/QuantumPi
Dataset
-
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
Parsert, J. (Creator) & Polgreen, E. (Creator), Zenodo, 14 Dec 2023
Dataset
Press/Media
-
Armando Iannucci and Sally Magnusson among new fellows of Scotland's national academy
8/04/24 → 4/09/24
8 Media contributions
Press/Media: Research
-
2020 ACM Fellows recognized for work that underpins contemporary computing
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment
-