Professor Alan Bundy CBE
Professor Alan Richard Bundy, CBE, FRSE, FRS, FREng, FACM is Professor of Automated Reasoning in the School of Informatics at Edinburgh University. Throughout his long and illustrious career he has worked mostly as a researcher in artificial intelligence, mathematical reasoning and representations of knowledge. Alan helped set up the UK Computing Research Committee and has been the Vice-President of the British Computer Society, among many other contributions to important bodies.