This Master of Science (MSc) program in Theoretical Computer Science focuses on the foundational principles and advanced mathematical concepts that underpin modern computing. You will explore abstract models of computation, algorithms, complexity theory, and formal methods. This course is designed for students with a strong background in computer science or mathematics who wish to deepen their understanding of the theoretical aspects of the field. It provides a rigorous academic experience, preparing graduates for research-oriented roles or further doctoral studies.
Evidence of English language proficiency is required unless you are a national of a majority English-speaking country. The university may request a recognised English language test in addition to school-level qualifications.
The Goods and Services Tax may apply to international students for online education.
You need a recognised Bachelor's degree with at least 55% overall or equivalent. Evidence of English language proficiency is also required unless you are exempt.
You can apply through the University of Liverpool's online application portal. Ensure you have all necessary documents, including transcripts, degree certificates, and proof of English proficiency, ready before applying.
The international application deadline for the Theoretical Computer Science MSc is 21 August 2026, with the course starting on 28 September 2026.
Tuition fees are reviewed annually, and you can find the latest information on the University of Liverpool's fees and funding section. Goods and Services Tax may apply to international students for online education.
The program focuses on foundational principles and advanced mathematical concepts in computing, including abstract models of computation, algorithms, complexity theory, and formal methods.