UKCRC
Remember me
BCS CPHC IET
UKCRC


  • Some of the Many UK Successful PhDs


    Ian Foster

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

     

    Hanne Gottliebsen

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

     

    Andrew Herbert

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

     

    Jane Hillston

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

     

    Geoffrey Hinton

    Geoffrey Hinton
    PhD at Edinburgh University, 1978:
    Artificial Intelligence

     

    Andrew Fitzgibbon

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

     

    Li Gong

    Li Gong
    PhD at Cambridge University, 1990:
    Distributed Systems

     

    Lincoln Wallen

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

     

    Jacques Fleuriot

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


    © UK Computing Research Committee 2009