Research course

Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling

Institution
University of Edinburgh · College of Science and Engineering
Qualifications
PhDMPhilMSc

Entry requirements

A UK 2:1 honours degree, or its international equivalent, with a strong background in mathematics.

Months of entry

Anytime

Course content

The Laboratory for Foundations of Computer Science (LFCS) continues to lead the way in the development of mathematical models, algorithms, theories and tools that probe the possibilities of computation and communication.

Our students benefit from being part of one of the largest and strongest groups of theoretical computer scientists in the world.

Our research is aimed at establishing deep understanding of computation in its many forms. Using advanced mathematical principles, we create theories and software tools allowing fundamental capabilities of computation to be explored, as well as designing languages that can be used to construct safe and effective programs.

Areas of interest within LFCS include: algorithms and complexity, cryptography, databases, logic, programming languages and semantics, performance modeling, quantum computing, security and privacy, software modeling and testing, and verification.

Qualification, course duration and attendance options

  • PhD
    part time
    72 months
    • Campus-based learningis available for this qualification
    full time
    36 months
    • Campus-based learningis available for this qualification
  • MPhil
    full time
    24 months
    • Campus-based learningis available for this qualification
    part time
    48 months
    • Campus-based learningis available for this qualification
  • MSc
    part time
    24 months
    • Campus-based learningis available for this qualification
    full time
    12 months
    • Campus-based learningis available for this qualification

Course contact details

Name
Admissions
Email
phd-admissions@inf.ed.ac.uk
Phone
+44 (0)131 650 3091