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

  • 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, ...