Laboratory for Foundations of Computer Science (LFCS)
Browse by
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
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
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
Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081. -
Path-ZVA Implementation
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
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
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, ...