Research output per year
Research output per year
Organization profile
Organisation profile
The Laboratory for Foundations of Computer Science (LFCS) is one of seven 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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Stuart Anderson
- School of Informatics - Personal Chair in Dependable Systems
- Laboratory for Foundations of Computer Science
- Global Health Academy
- Language, Interaction and Robotics
Person: Academic: Research Active
-
Myrto Arapinis
- School of Informatics - Reader
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Luca Arnaboldi
- School of Informatics - Research Associate
- Laboratory for Foundations of Computer Science
Person: Academic: Research Active
-
Distributed H∞ Controller Design and Robustness Analysis for Vehicle Platooning Under Random Packet Drop
Halder, K., Montanaro, U., Dixit, S., Dianati, M., Mouzakitis, A. & Fallah, S., 3 May 2022, In: IEEE Transactions on Intelligent Transportation Systems. 23, 5, p. 4374-4386 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Counting vertices of integral polytopes defined by facets
Guo, H. & Jerrum, M., 2 May 2022, (Accepted/In press) In: Discrete & computational geometry. 16 p.Research output: Contribution to journal › Article › peer-review
-
Rapid Mixing from Spectral Independence beyond the Boolean Domain
Feng, W., Guo, H., Yin, Y. & Zhang, C., 27 Apr 2022, (E-pub ahead of print) In: ACM Transactions on Algorithms. 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Activities
-
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Daniele Gorla (Chair) & Leonid Libkin (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
Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)
21 Jun 2021 → 23 Jun 2021Activity: Participating in or organising an event types › Participation in conference
-
A type theory for cartesian closed bicategories
Philip Saville (Invited speaker) & Marcelo Fiore (Contributor)
8 May 2019Activity: Academic talk or presentation types › Invited talk
Prizes
-
2011 ICDT Best Paper Award
David, C. (Recipient), Libkin, Leonid (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
-
Best Paper Award at ICDT 2019
Nikolic, Milos (Recipient), 7 Jan 2019
Prize: Prize (including medals and awards)
-
Best PhD Thesis in Theoretical Computer Science
Ciampi, Michele (Recipient), 19 Sep 2018
Prize: Prize (including medals and awards)
-
-
HUBS: High-Speed Universal Broadband Service
Waites, W. & Buneman, P.
24/07/13 → …
Project: Research Collaboration with external organisation
-
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
-
Analysis software for model checking Edinburgh buses
Reijsbergen, D. (Creator) & Gao, W. (Creator), Edinburgh DataShare, 1 Sep 2016
DOI: 10.7488/ds/1472
Dataset
-
Lothian Buses Full Fleet GPS Traces, 2014 to 2015
Reijsbergen, D. (Depositor), Edinburgh DataShare, 29 Aug 2016
DOI: 10.7488/ds/1470
Dataset
Press / Media
-
2020 ACM Fellows recognized for work that underpins contemporary computing
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment
-
-
Urgent testing, tracing, and isolation could save lives and economy
Timothy Colbourn, William Waites, David Manheim, Jasmina Panovska-Griffiths & Rosalind Raine
15/06/20 → 16/06/20
5 items of Media coverage
Press/Media: Press Release