Professor Alan Richard Bundy CBE FREng FRS

Professor of Automated Reasoning, School of Informatics, University of Edinburgh

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.

Our mission

To recognise, promote, and support excellence in science and to encourage the development and use of science for the benefit of humanity.

Our priorities

  • Promoting science and its benefits
  • Recognising excellence in science
  • Supporting outstanding science
  • Providing scientific advice for policy
  • Fostering international and global cooperation
  • Education and public engagement