Queen Mary University of London
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.
An Honours degree.
|Qualification||Study mode||Start month||Fee||Course duration|
|PhD||Full-time||September 2016||-||3 years|
|Campus name||Town||Postcode||Region||Main campus||Campus||Partner|
|Mile End||Tower Hamlets||E1 4NS||South East|
020 7882 5555