Prof. Alan Bundy FRS, FACM, FREng, FRSE

Alan Bundy is Professor of Automated Reasoning in the School of Informatics at the University of Edinburgh.    He is a fellow of several academic societies, including the Royal Society, the Royal Society of Edinburgh, the Royal Academy of Engineering and the Association for Computing Machinery. His awards include the IJCAI Research Excellence Award (2007), the CADE Herbrand Award (2007) and a CBE (2012). He was: Edinburgh's founding Head of Informatics (1998-2001); founding Convener of UKCRC (2000-05); and a Vice President and Trustee of the British Computer Society with special responsibility for the Academy of Computing (2010-12). He was also a member of: the Hewlett-Packard Research Board (1989-91); the ITEC Foresight Panel (1994-96); both the 2001 and 2008 Computer Science RAE panels (1999-2001, 2005-8); and the Scottish Science Advisory Council (2008-12). He is the author of over 300 publications and has held over 60 research grants.

Research interests:

The automation of reasoning and the formation and evolution of representations of knowledge.  Logical theory creation and evolution, especially the automated repair of faulty theories and the creation of new concepts.   The  integration of multiple reasoning processes, especially the interaction between representation and reasoning.  

Related research projects:

"Automating the repair of faulty logical theories." PhD project of Xue Li




Research keywords: 
Automation of reasoning; formation and evolution of representations of knowledge; logical theory creation and evolution; integration of multiple reasoning processes
Verification and Security
Email (optional - published on profile page):