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
- Cyber Security, Privacy and Trust
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
- Cyber Security, Privacy and Trust
Person: Academic: Research Active
-
Julian Bradfield
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Hybrid authentication protocols for advanced quantum networks
Goswami, S., Doosti, M. & Kashefi, E., 1 Oct 2026, In: Quantum Science and Technology. 11, 4, p. 1-20 20 p., 045064.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Metric algebra: Embedding-independence in vector databases
Yang, T., Cao, Y., Yang, B., Chen, Z. & Ma, T., 29 Sept 2026, In: Proceedings of the ACM on Management of Data. 4, 4, p. 1-26 26 p., 279.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
On the necessity of pre-agreed secrets for thwarting last-minute coercion: Vulnerabilities and lessons from the Loki e-voting protocol
Qiao, J., Arapinis, M. & Zacharias, T., 27 Sept 2026, 39th IEEE Computer Security Foundations Symposium. Institute of Electrical and Electronics Engineers, p. 205-220 16 p. (IEEE Computer Security Foundations Symposium (CSF)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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)
-
-
-
IORH: INPUT OUTPUT RESEARCH HUB
Kiayias, A. (Principal Investigator)
1/02/23 → 31/01/28
Project: Research
-
CBDCs: Decentralised Finance and Central Bank Digital Currencies
Kiayias, A. (Principal Investigator)
19/05/22 → 18/06/27
Project: Research
-
Benchmarking Quantum Advantage
Garcia-Patron Sanchez, R. (Principal Investigator) & Guo, H. (Co-investigator)
1/06/23 → 31/03/25
Project: Research
Datasets
-
Artifact for Primrose: Selecting Container Data Types by their Properties
Qin, X. (Creator), O'Connor, L. (Creator) & Steuwer, M. (Creator), Zenodo, 9 Dec 2022
DOI: 10.5281/zenodo.7419588, https://zenodo.org/records/7419588
Dataset
-
vcgalpin/dcc-xml-temporal: v0.1.1
Galpin, V. (Creator), Zenodo, 19 Jan 2023
DOI: 10.5281/zenodo.7551691, https://github.com/vcgalpin/dcc-xml-temporal/tree/v0.1.1
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
-