Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling PhD
36 monthsProgramme duration
Jan, May, SepStarting Month
Programme overview
Main Subject
Computer Science and Information Systems
Degree
PhD
Study Level
PHD
Study Mode
On Campus
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 modelling
- quantum computing
- security and privacy
- software modelling and testing
- verification
Programme overview
Main Subject
Computer Science and Information Systems
Degree
PhD
Study Level
PHD
Study Mode
On Campus
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 modelling
- quantum computing
- security and privacy
- software modelling and testing
- verification
Admission Requirements
Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on the University of Edinburgh website. You will also need to meet the University’s language requirements.
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
Get closer to your dream programme
Your consent preferences have been set.
Time to start exploring.
Your account has been removed.
You can still browse the site or sign up again once you have parental consent.
Get closer to your dream programme