find your perfect postgrad program
Search our Database of 30,000 Courses
The University of Edinburgh: Informatics: LFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling
| Institution | The University of Edinburgh View institution profile |
|---|---|
| Department | School of Informatics |
| Web | http://www.ed.ac.uk/studying |
| Study type | Research |
Doctor of Philosophy - PhD
Summary
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, and verification.
| Level | SCQF Level 12 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 12 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 12 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 12 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
MSc (Res)
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
Master of Philosophy - MPhil
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
Summary
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, and verification.
| Level | SCQF Level 11 |
|---|---|
| Entry requirements | Entry requirements for individual programmes vary, so please check the details for the specific programme you wish to apply for on our website. You will also need to meet the University’s language requirements. |
| Location | Central area campus George Square Edinburgh EH8 9JZ |
University of Edinburgh
Be open to possibilities. Be open to the extraordinary.
The University of Edinburgh is one of the world's top universities, consistently ranked in the world top 50, and placed 22nd in the 2024 QS World University Rankings. Our entrepreneurial and cross-disciplinary culture attracts students and staff from across the globe, creating a unique Edinburgh experience. Whatever excites you, whatever your ambition, whatever makes you ‘you’, we know one thing; nothing ordinary comes from this extraordinary place.
Our students have been making an impact on the world for more than 400 years. Each year is different – every …
View ProfileNot what you are looking for?
Browse other courses in Engineering, Production, Information technology or Science, or search our comprehensive database of postgrad programs.Scholarship Opportunity with Postgrad.com
Are you a PG student at this University or have you applied to study a postgraduate program at a university in Europe? Tell us your plans and qualify for a £500.00 PGS Scholarship.
Click here
