Alan Bundy

Prof. Alan Bundy was educated as a Mathematician, obtaining a 1st class honours degree in Mathematics in 1968 from Leicester University and a PhD in Mathematical Logic in 1971, also from Leicester, under the supervision of Prof. R.L. Goodstein. Since 1971 he has been at the University of Edinburgh: initially in the Metamathematics Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics. From 1971-73, he was a research fellow on Prof. B. Meltzer's SERC grant `Theorem Proving by Computer'; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987-92 he held an SERC Senior Fellowship. From 1998-2001 he was Head of the newly formed of Division (subsequently School) of Informatics at Edinburgh.