Edinburgh Research Explorer

Laboratory for Foundations of Computer Science

Organisational unit: Research Institute

Contact information

Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
United Kingdom
  • Phone: 0131 6505132
  • Fax: 0131 6514587

Organisation profile

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.

Research outputs

  1. Geometric fluid approximation for general continuous-time Markov chains

    Research output: Contribution to journalArticle

  2. The complexity of planar Boolean #CSP with complex weights

    Research output: Contribution to journalArticle

  3. Towards Races in Linear Logic

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (3325) »

Research activities & awards

  1. 7th Workshop on Mathematically Structured Functional Programming (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

  2. 22nd ACM SIGPLAN International Conference on Functional Programming (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

View all (11) »

Latest prizes

  1. The 2018 Ray Reiter Best Paper Prize

    Prize: Prize (including medals and awards)

  2. Best Paper Award at ICDT 2019

    Prize: Prize (including medals and awards)

  3. Best PhD Thesis in Theoretical Computer Science

    Prize: Prize (including medals and awards)

View all (3) »

ID: 6032170