Alan Lawrence (Inference Group, UCAM)