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.

Course Additional Entry

An Honours degree.

Duration & Attendance Qualification Tuition fees
3 years
Full Time
PhD