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.

Collections in this community

Recent Submissions

  • Opinions on Weblinks 

    Albakry, Sara; Vaniea, Kami; Wolters, Maria
    This document provides a concrete version of the survey used in the URL reading experiment conducted in April 2017 and reported in the associated paper to appear at CHI'20 on 25 April, 2020. This documentation serves two ...
  • A Survey on Developer-Centred Security 

    Tahaei, Mohammad; Vaniea, Kami
    Our research reports a systematic literature review of 49 publications on security studies with software developer participants. These attached files are: - A BibTeX file: includes all 49 references in BibTex format. - ...
  • Triangulating Context Lemmas 

    McLaughlin, Craig; McKinna, James; Stark, Ian
    Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.
  • Path-ZVA Implementation 

    Reijsbergen, Daniel
    This Java project is an implementation of the algorithm presented in the paper 'Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems' by Daniël Reijsbergen, Pieter-Tjerk de ...
  • Analysis Software for Model Checking Edinburgh Buses 

    Reijsbergen, Daniel; Gao, Wulinjian
    This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...
  • Lothian Buses Full Fleet GPS Traces, 2014 to 2015 

    Reijsbergen, Daniёl; European Commission
    These datasets have been collected and provided to us by Lothian Buses. They consist of Automatic Vehicle Location (AVL) data obtained using periodic GPS location measurements. Each data entry consists of a bus identifier, ...