"Bundy, Alan"@en . . . . . "Professor Alan Bundy"@en . "Alan Richard Bundy, CBE, FRS, FREng, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search."@en . "Alan Richard Bundy"@en . . . . . . "1947Z"^^ . . . "1947-05-18Z"^^ . . . . . . . "British artificial intelligence researcher" . .