He received his Bachelor of Arts degree with first-class honours in Physics from the University of Oxford where he was an undergraduate student at Wadham College, Oxford in 1982, and his PhD in Computer Science from Stanford University in 1986 for research on inductive reasoning and analogical reasoning supervised by .