(Co-supervised with Michael Gordon) at Computer Laboratory, University of Cambridge