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: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Philip Saville (Invited speaker) & Marcelo Fiore (Contributor)
Activity: Academic talk or presentation types › Invited talk
Philip Saville (Invited speaker) & Marcelo Fiore (Contributor)
Activity: Academic talk or presentation types › Invited talk
Robert Atkey (Editor) & Sam Lindley (Editor)
Activity: Publication peer-review and editorial work types › Editorial activity
Nikolic, Milos (Recipient), 7 Jan 2019
Prize: Prize (including medals and awards)
Ciampi, Michele (Recipient), 19 Sep 2018
Prize: Prize (including medals and awards)
Aydin Kheirbakhsh Abadi (Recipient), 6 Oct 2015
Prize: Prize (including medals and awards)
Koehn, P., Heafield, K. & Waites, W.
1/10/19 → 30/09/21
Project: Research
Rosser, S., Bird, A., Cai, Y., Earnshaw, B., Millar, A., Molina, N., Pilizota, T., Swain, P. & Waites, W.
14/11/14 → 30/09/21
Project: Research
Reijsbergen, D. (Creator) & Gao, W. (Creator), Edinburgh DataShare, 1 Sep 2016
DOI: 10.7488/ds/1472
Dataset
Albakry, S. (Creator), Vaniea, K. (Creator) & Wolters, M. (Creator), Edinburgh DataShare, 25 Apr 2020
DOI: 10.7488/ds/2749
Dataset
Reijsbergen, D. (Depositor), Edinburgh DataShare, 29 Aug 2016
DOI: 10.7488/ds/1470
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