Research output per year
Research output per year
United Kingdom
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.
Person: Academic: Research Active
Person: Academic: Research Active
Person: Academic: Research Active
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Leonid Libkin (Chair), Reinhard Pichler (Chair) & Paolo Guagliardo (Chair)
Activity: Participating in or organising an event types › Participation in conference
Daniele Gorla (Chair) & Leonid Libkin (Chair)
Activity: Participating in or organising an event types › Participation in conference
Vashti Galpin (Guest editor), Paolo Milazzo (Guest editor) & Anna Monreale (Guest editor)
Activity: Publication peer-review and editorial work types › Editorial activity
David, Claire (Recipient), Libkin, Leonid (Recipient) & Tan, Tony (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
Nikolic, Milos (Recipient), 7 Jan 2019
Prize: Prize (including medals and awards)
Ciampi, Michele (Recipient), 16 Nov 2022
Prize: Prize (including medals and awards)
Waites, W. & Buneman, P.
24/07/13 → …
Project: Research Collaboration with external organisation
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
Reijsbergen, D. (Depositor), Edinburgh DataShare, 29 Aug 2016
DOI: 10.7488/ds/1470
Dataset
Vaniea, K. (Creator) & Kirkman, D. (Creator), Edinburgh DataShare, 16 Jun 2022
DOI: 10.7488/ds/3475
Dataset
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment
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