Queen Mary University of London

Course Introduction

Research areas include: automated reasoning, concurrent and distributed systems; formal methods in human'computer interaction to verification of systems software and logic; the hard problems inherent in discovering the power and limitations of computer systems; and how principled design, based on the right mathematical models might make them more robust and secure.

Start Date:


Duration & Attendance Qualification Tuition fees Fee type
3 years
Full Time
Doctor of Philosophy - PhD

Qualifications required:

  • An Honours degree.