Professor of Automated Reasoning, School of Informatics, University of Edinburgh.
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 of Edinburgh and the Royal Academy of Engineers, and the major awards for his research, include the IJCAI Research Excellence Award (2007) and the CADE Herbrand Award (2007). He was Head of Informatics at Edinburgh (1998-2001) and 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-2008). He was the founding Convener of the UKCRC (2000-2005) and is currently Vice President and Trustee of the British Computer Society with responsibility for the Academy of Computing. He is the author of over 200 publications.
