Research output per year
Research output per year
United Kingdom
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.
Person: Academic: Research Active
Person: Academic: Research Active
Person: Academic: Research Active
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hammam, K. (Advisor)
Activity: Participating in or organising an event types › Public Engagement – Public lecture/debate/seminar
Gorla, D. (Chair) & Libkin, L. (Chair)
Activity: Participating in or organising an event types › Participation in conference
Libkin, L. (Chair), Pichler, R. (Chair) & Guagliardo, P. (Chair)
Activity: Participating in or organising an event types › Participation in conference
David, C. (Recipient), Libkin, L. (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
Hammam, K. (Recipient), 2017
Prize: Other distinctions
Valliappan, N. (Principal Investigator) & Lindley, S. (Sponsor)
1/03/24 → 28/02/27
Project: Research
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
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
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
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
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
8/04/24 → 4/09/24
8 Media contributions
Press/Media: Research
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment