Skip to main content
The University of Edinburgh home
  • Schools & departments
  • MyEd
When search suggestions are available, use up and down arrows to review and Enter to select.

    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