Ian Foster 
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

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

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

Geoffrey Hinton
PhD at Edinburgh University, 1978:
Artificial Intelligence

Andrew Fitzgibbon
PhD at Edinburgh University, 1992:
Stable Segmentation of 2D Curves

Li Gong
PhD at Cambridge University, 1990:
Distributed Systems

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

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