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
      • 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 and Privacy group
      • Software engineering group
      • Systems biology and bioinformatics
      • Verification, testing, and model checking
      • 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
      • 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

Subsite mobile menu

  • Home
  • About us
  • People
      • Academic Staff
      • Research Staff
      • Research Students
      • Affiliated Members
      • 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 and Privacy group
      • Software engineering group
      • Systems biology and bioinformatics
      • Verification, testing, and model checking
      • 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 2024
          • LFCS Seminars 2023
          • LFCS Seminars 2021
          • LFCS Seminars 2020
          • LFCS Seminars 2019
          • LFCS Seminars 2018
      • Milner Lectures
  • 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
      • 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

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 2024-12-08

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
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 2025.

User account menu

CMS login