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

  • Collected cookie dialogs and dark patterns 

    Kirkman, Daniel; Vaniea, Kami
    Dataset of collected cookie dialogs, cookies, and dark patterns. Includes screenshots of the identified dialogs as well as automatically extracted text and the CSS selector used to locate the dialog. Similarly a list of ...
  • Cookie Synchronization HTTP Requests 

    Struzinski, Bartosz; Vaniea, Kami
    The dataset was created as part of a Masters Thesis aiming to automatically detect cookie synchronization. The dataset contains information about all the HTTP requests made when using Selenium to visit the top 2000 most ...
  • Recruiting Participants With Programming Skills: A Comparison of Four Crowdsourcing Platforms and a CS Student Mailing List 

    Tahaei, Mohammad; Vaniea, Kami
    Reliably recruiting participants who have programming skills is an ongoing challenge for empirical studies involving software development technologies, often leading to the use of crowdsourcing platforms and computer science ...
  • GPU Acceleration of FSM Input Execution: Artifacts 

    Yaneva-Cormack, Vanya
    In model-based development, software is implemented and verified based on a model of the required system. Finite State Machines (FSMs) are widely used as models in several domains but validating that they accurately represent ...
  • Deciding on Personalized Ads: Nudging Developers About User Privacy 

    Tahaei, Mohammad; Frik, Alisa; Vaniea, Kami
    Online experiment survey data associated with the below paper. The survey-based online experiment was conducted with 400 participants with experience in mobile app development. There were six conditions where the framing ...
  • 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, ...