Research output per year
Research output per year
Organisation profile
Organisation profile
The Laboratory for Foundations of Computer Science (LFCS) is one of six research institutes in the School of Informatics at the University of Edinburgh. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.
The mainspring of research in LFCS is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems. Our work has a core of theoretical research and a practical component which explores application and implementation of the theory. Several research groups exist within LFCS.
Fingerprint
Dive into the research topics where Laboratory for Foundations of Computer Science 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
-
Sean Adamson
- School of Informatics - Research Associate
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active
-
Malin Altenmuller
- School of Informatics - Research Associate
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active
-
Konrad Anand
- School of Informatics - Research Associate
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active
-
Airdrop games
Georganas, S., Kiayias, A. & Penna, P., 29 May 2025, (Accepted/In press) Proceedings of the 34th International Joint Conference on Artificial Intelligence. IJCAI Inc, p. 1-29 29 p. (Proceedings of the International Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File -
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces land linear contractions
Di Meglio, M. & Heunen, C., 26 May 2025, In: Applied Categorical Structures. 33, p. 1-27 27 p., 18.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Optimal metric distortion for matching on the line
Filos-Ratsikas, A., Gkatzelis, V., Latifian, M., Rewinski, E. & Voudouris, A. A., 29 Apr 2025, (Accepted/In press) Proceedings of the 34th International Conference on Artificial Intelligence. IJCAI Inc, p. 1-25 25 p. (Proceedings of the International Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
-
Soapbox Science
Hammam, K. (Advisor)
1 Jun 2024Activity: Participating in or organising an event types › Public Engagement – Public lecture/debate/seminar
-
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
Prizes
-
2011 ICDT Best Paper Award
David, C. (Recipient), Libkin, L. (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
-
Best contributed Optical Society talk at Quantum Africa 4 conference
Hammam, K. (Recipient), 2017
Prize: Other distinctions
-
-
Compositional Normalisation with Modal Types
Valliappan, N. (Principal Investigator) & Lindley, S. (Sponsor)
1/03/24 → 28/02/27
Project: Research
-
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
Datasets
-
Deciding on Personalized Ads: Nudging Developers About User Privacy
Tahaei, M. (Creator), Vaniea, K. (Creator) & Frik, A. (Creator), Edinburgh DataShare, May 2021
DOI: 10.7488/ds/3045, https://groups.inf.ed.ac.uk/tulips/papers/tahaei2021soups.pdf
Dataset
-
xdslproject/xdsl: v0.21.1
Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Weber, M. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Stawinoga, N. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Mitenkov, G. (Creator), Cerioli, A. (Creator), Dutilleul, A. (Creator), Wang, S. (Creator), David, K. (Creator), Grover, K. (Creator), Jaulmes, L. (Creator), Dumoulin, J. (Creator), Rice, A. (Creator) & Steuwer, M. (Creator), Zenodo, 23 Jul 2024
DOI: 10.5281/zenodo.12803033, https://github.com/xdslproject/xdsl/tree/v0.21.1
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
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
-