AISB miscellaneous Bulletin Item
AISB member elected Fellow of the Royal Society
We are extremely happy to announce that Prof. Alan Bundy, from the School of Informatics, at the Univ. of Edinburgh, has been elected a Fellow of the Royal Society. An honorary member of AISB for many years, Prof. Bundy is also a Fellow of the Royal Society for Engineering, and well-known for his work on automated reasoning, which led to significant developments in proofs demonstration by mathematical induction and co-induction, analysis, logic, programming and verification of both hardware and software. For a list of the 2012 FRS, see https://royalsociety.org/about-us/fellowship/new-fellows-2012/ Of interest to our members, joining Prof. Mike Brady (Fellow AISB) at the FRS, there is Prof. John McNamara from the Univ. of Bristol, and Prof. Daniel Wolpert from the Univ. of Cambridge.