Skip to main content
The University of Edinburgh home
  • Schools & departments
  • MyEd
LFCS Laboratory for Foundations of Computer Science

Subsite menu

  • Home
  • About us
  • People
    • People
      • Academic Staff
      • Research Staff
      • Research Students
      • Affiliated Members
      • Honorary and Emeritus Staff
      • Support Members
      • Mailing lists
  • Research
    • Research
      • Algorithms and Computational Complexity
      • Database Group
      • Logic, Semantics and Concurrency
      • Mobility and Security
      • PEPA Group
      • Programming Languages and Foundations
      • Quantum Informatics
      • Security, Privacy and Trust
      • Software engineering
      • Verification, Testing, and Model Checking
      • Research software
  • Study with us
    • Study with us
      • Prospective students
      • Internships
      • Current students
      • Alumni
      • Prospective supervisors
  • Events
    • Events
      • Lab Lunch
      • LFCS Seminars
      • Milner Lectures
  • News
    • News
      • Andreas Pieris has received the Ray Reiter Best Paper Award at KR2025
      • Wenfei Fan elected foreign member of the Chinese Academy of Sciences
      • LFCS researchers to work on a UK-wide Quantum Technologies Research project
      • How quantum physics will change our views on cyber security
      • Grant Passmore, LFCS alumnus and AI innovator, goes from strength to strength
      • Best Paper Award at ICALP'18
      • Faculty positions available in Algorithms and Complexity
      • Congratulations to Cheng Feng on passing his VIVA
      • Congratulations for Anastasis Georgoulas who passed his VIVA
      • Congratulations to Perdita Stevens who has received a prestigious award
      • Congratulation to Chao and Jingbo for passing their viva!
      • Congratulations to Cheng Feng on successfully passing his VIVA
  • LFCS Seminar: Tuesday, 5 August: Michael Sperber

Subsite mobile menu

  • Home
  • About us
  • People
    • Academic Staff
    • Research Staff
    • Research Students
    • Affiliated Members
    • Honorary and Emeritus Staff
    • Support Members
    • Mailing lists
  • Research
    • Algorithms and Computational Complexity
    • Database Group
    • Logic, Semantics and Concurrency
    • Mobility and Security
    • PEPA Group
    • Programming Languages and Foundations
      • People
      • Current projects and related activities
      • Join us
      • History
    • Quantum Informatics
    • Security, Privacy and Trust
    • Software engineering
    • Verification, Testing, and Model Checking
    • Research software
  • Study with us
    • Prospective students
    • Internships
    • Current students
      • Pablo Andres-Martinez
      • Daniel Hillerström
      • Ruochun Jin
      • Yun Lu
      • Bogdan Manghiuc
      • Vanya Yaneva
    • Alumni
    • Prospective supervisors
  • Events
    • Lab Lunch
      • Information for Lab Lunch Speakers
      • Past Lab Lunches
        • Lab Lunches 2022-2023
        • Lab Lunches 2021
          • LFCS Lab Lunch 2020-21 - Speakers
        • Lab Lunches 2020
          • LFCS Lab Lunch - Speakers
        • Lab Lunches 2019
        • Lab Lunches 2018
      • The Spirit of LFCS Lab Lunches
    • LFCS Seminars
      • LFCS Seminars 2026
      • LFCS Seminars 2025
      • LFCS Seminars 2024
      • LFCS Seminars 2023
      • LFCS Seminars 2021
      • LFCS Seminars 2020
      • LFCS Seminars 2019
      • LFCS Seminars 2018
    • Milner Lectures
  • News
    • Andreas Pieris has received the Ray Reiter Best Paper Award at KR2025
    • Wenfei Fan elected foreign member of the Chinese Academy of Sciences
    • LFCS researchers to work on a UK-wide Quantum Technologies Research project
    • How quantum physics will change our views on cyber security
    • Grant Passmore, LFCS alumnus and AI innovator, goes from strength to strength
    • Best Paper Award at ICALP'18
    • Faculty positions available in Algorithms and Complexity
    • Congratulations to Cheng Feng on passing his VIVA
    • Congratulations for Anastasis Georgoulas who passed his VIVA
    • Congratulations to Perdita Stevens who has received a prestigious award
    • Congratulation to Chao and Jingbo for passing their viva!
    • Congratulations to Cheng Feng on successfully passing his VIVA
  • LFCS Seminar: Tuesday, 5 August: Michael Sperber

Breadcrumb

  1. Home
  2. School of Informatics
  3. Home
  4. LFCS

About us

Informatics Forum from above

LFCS is a community of theoretical computer scientists.

People

Seminar

Current members of LFCS and staff working in the Institute.

Events

News and events

  • Lab Lunch
  • LFCS Seminars

Research

Writing

Information about research groups within LFCS.

Study with us

Students on a spiral staircase

Information about study programmes in LFCS.

News

  • Wenfei Fan elected foreign member of the Chinese Academy of Sciences
  • LFCS researchers to work on a UK-wide Quantum Technologies Research project
  • How quantum physics will change our views on cyber security
  • Grant Passmore, LFCS alumnus and AI innovator, goes from strength to strength
  • Best Paper Award at ICALP'18

This article was published on Sunday 8 December 2024

LFCS logo
Contact us

The University of Edinburgh

  • Terms & conditions
  • Privacy & cookies
  • Complaints procedure
  • Modern slavery
  • Website accessibility
  • Freedom of information publication scheme
  • Data protection / Records Management
  • Digital Sustainability
University affiliations

MyEd login

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2026.

User account menu

CMS login