Elected: 1996
Discipline: Informatics, Mathematics and Statistics
Professor Alan Richard Bundy CBE, FRS, FRSE

Professor of Automated Reasoning, University of Edinburgh.