Fellow of ACM: Alan Bundy

Professor Alan Bundy of the School of Informatics has been appointed a Fellow of the Association for Computing Machinery (ACM).

The appointment recognises his "contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations".

Professor Bundy is a member of the Centre for Intelligent Systems and their Applications, and an associate member of the Laboratory for Foundations of Computer Science. He is leader of the Mathematical Reasoning Group.

His research interests are in understanding the processes of mathematical reasoning and discovery, particularly the development of ‘proof plans’.

He joined the University in 1971 as a research fellow and was appointed Professor in 1990. In 2012 he was appointed CBE for services to computing science and was elected a Fellow of the Royal Society.

Professor Bundy is a Vice-President and Trustee of the British Computer Society with special responsibility for the Academy of Computing.

The ACM is the world’s largest membership organisation for educational and scientific computing professionals. It is headquartered in New York.