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.
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