PhD at Imperial College, 1988:
High Performance Parallel Logic Programming Languages

Hanne Gottliebsen  

PhD at St Andrews University, 2001:
Automated Theorem Proving for Mathematics: Real Analysis in PVS

PhD at Cambridge University, 1978:
A Microprogrammed Operating System Kernal

PhD at Edinburgh University, 1994:
A Compositional Approach to Performance Modelling

PhD at Cambridge University, 1990:
Distributed Systems

PhD at Edinburgh University, 1988:
Artificial Intelligence and Mathematical Logic and Reasoning

PhD at Cambridge University, 1999:
A Combination of Geometry Theorem Proving and Nonstandard Analysis to Newton's Principia