Alan was educated as a Mathematician at Leicester University, obtaining a 1st class honours degree in Mathematics in 1968, and a PhD in Mathematical Logic in 1971, under the supervision of Professor R.L. Goodstein. He has been at the University of Edinburgh since 1971, initially in the Metamathematics Unit, which, a year later, became the Department of Computational Logic. In 1974 it was absorbed into the new Department of Artificial Intelligence, and then, in 1998, into the new Division of Informatics. From 1971-73, he was a research fellow on Professor B. Meltzer's SERC grant `Theorem Proving by Computer'. He became a university lecturer in 1973, promoted to reader in 1984, professorial fellow in 1987, then to professor in 1990. From 1987-92 he held an SERC Senior Fellowship. He became Head of the Division of Informatics in 1998.
Alan's research has entailed the building of a number of problem solving programs for different branches of mathematics, namely number theory, algebra, mechanics, ecological modelling and logic/functional programming.
He has been sole or joint holder of 37 EPSRC, SERC, Alvey, ESPRIT or ESRC grants and is the sole or joint author of over 130 published papers and books. He has written a book on the automation of mathematical reasoning, is co-author of a book on ecological modelling and one on the social impact of knowledge-based systems. and is the editor of three books on artificial intelligence. He has held the offices of newsletter editor and treasurer of the AISB, the UK Artificial Intelligence Society. He is on the editorial board of a number of journals and book series.
He was programme chairman for IJCAI-83, conference chair of IJCAI-87 and has been a member of the IJCAI Inc. Trustees. (The biennial IJCAIs are the major conferences in AI). He was general chair of CADE-12 (The biennial CADEs are the major conferences in automated theorem proving) and has been President of the CADE Inc Board of Trustees.
In 1986 he received the SPL Insight Award for his contribution to artificial intelligence research. He was elected a founding Fellow of AAAI in 1990, a fellow of the Royal Society of Edinburgh in 1996 and a founding fellow of AISB in 1997. From 1985-88 he was a member of the SERC Computing Science Sub-Committee. During this time he co-authored the proposal, and took part in the setting up of the SERC Logic for IT Initiative.
He has been invited to give many talks and keynote addresses at major national and international conferences. In 1982-3 he was a member and group leader of the pre-Alvey IKBS Architecture Study, and in 1983-4 he was the academic coordinator of the Alvey Intelligent Front Ends research theme. He was a member of the Research Board of Hewlett Packard Laboratories from 1989-91, and, from 1994-96, of the IT, Communications and Electronics Technology Foresight Panel. He was elected member of the Research Assessment Exercise Panel in Computer Science, which runs from 1999-01.
A list of publications by Alan Bundy is available.
|Page Maintainer: firstname.lastname@example.org||Credits||Project Members only||Last Modified: 12 August, 2005|