| Citation | Alan Bundy has made world-leading contributions to both automated reasoning and the automated formation and evolution of representations of knowledge. He has developed novel techniques with improved efficiency, range and behaviour. His work on automated reasoning has found application in hardware and software systems development, where it has increased the level of automation. It has decreased the skill level and development time required to verify computer programs and has been taken up by industry. His work on representation evolution facilitates communication between agencies with different representations of related knowledge. |