Queen Mary University of London

Queen Mary University of London

Computer Science

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.

Entry requirements

An Honours degree.

Course modules

Assessment methods


Qualification Study mode Start month Fee Course duration
PhD Full-time September 2016 - 3 years

Campus details

Campus name Town Postcode Region Main campus Campus Partner
Mile End Tower Hamlets E1 4NS South East

Key information

General Enquiries
Telephone number: 
020 7882 5555