Alan Bundy is Professor of Automated Reasoning in the School of Informatics at the University of Edinburgh. His research interests include: the automation of mathematical reasoning, with applications to reasoning about the correctness of computer software and hardware; and the automatic construction, analysis and evolution of representations of knowledge. His research combines artificial intelligence with theoretical computer science and applies this to practical problems in the development and maintenance of computing systems. He is the author of over 300 publications and has held over 60 research grants.
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, and the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB). 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).