AISB Fellow Prof Alan Bundy will receive this year’s EurAI Distinguished Service Award. This award is presented every two years to a person having contributed significantly to the advancement of AI. Nominations have to be supported by a EurAI member society such as AISB. We are very happy that our nomination was supported by EurAI leading to this remarkable award being presented to Alan Bundy.
The award will be officially announced during the opening ceremony of ECAI 2020 on Sunday, 30 August 2020 and Alan will also be honoured at both the Fellows lunch and the EurAI General Assembly.
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).