A minimum of an upper second-class UK Bachelor's degree in a subject such as mathematics or computer science, or an overseas qualification of an equivalent standard. A fluency in mathematics and some experience of computer programming are required; familiarity with elementary logic is a great advantage.
If your education has not been conducted in the English language, you will be expected to demonstrate evidence of an adequate level of English proficiency.
The English language level for this programme is: Good.
Further information can be found on our English language requirements page.
Months of entry
Software verification is a pressing challenge worldwide, with airplanes and phones, for example, relying on the correctness of complex software. The new Logic, Semantics and Verification of Programs MSc provides an excellent and rare opportunity to study highly theoretical aspects of computer science with a practical application in program verification.
UCL Computer Science is recognised as a world leader in teaching and research, and rated first in the UK in the 2014 Research Excellence Framework (REF).
Our Master's programmes have some of the highest employment rates and starting salaries.
UCL is a world-leading centre for program verification. This degree is one of the few Master's degrees with a focus on the area between formal logic and theoretical computer science. It proceeds an excellent starting point for those who wish to pursue a research career, whether in the academic or commercial sectors.
Full-time: 1 year;
Fees and funding
Fee UK/EU Full-time: GBP11,800; Overseas Full-time: GBP24,140;
Qualification and course duration
The programme is delivered through a combination of lectures, seminars, class discussions and project supervision. Student performance is assessed though a combination of unseen written examination, coursework (much of which involves programming and/or data analysis), practical application, and the research project.
Course contact details
- +44 (0)20 3370 1214