Alan Richard Bundy is a professor at the School of Informatics at the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to

automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progra ...

, especially to proof planning, the use of meta-level reasoning to guide proof search.

Education

Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the

University of Leicester , mottoeng = So that they may have life , established = , type = public research university , endowment = £20.0 million , budget = £326 million , chancellor = David Willetts , vice_chancellor = Nishan Canagarajah , head_labe ...

and a PhD in

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

in 1971, also from Leicester.

Career and research

Since 1971, Bundy has worked at the

: 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 to 1973, he was a research fellow on Prof. B. Meltzer's

Science and Engineering Research Council The Science and Engineering Research Council (SERC) and its predecessor the Science Research Council (SRC) were the UK agencies in charge of publicly funded scientific and engineering research activities, including astronomy, biotechnology and bi ...

(SERC) grant ''Theorem Proving by Computer''; in 1973, he was appointed a university

lecturer Lecturer is an List of academic ranks, academic rank within many universities, though the meaning of the term varies somewhat from country to country. It generally denotes an academic expert who is hired to teach on a full- or part-time basis. T ...

; in 1984, he was promoted to

reader A reader is a person who reads. It may also refer to: Computing and technology * Adobe Reader (now Adobe Acrobat), a PDF reader * Bible Reader for Palm, a discontinued PDA application * A card reader, for extracting data from various forms of ...

; in 1987, he was promoted to professorial fellow; and in 1990, he was promoted to professor. From 1987 to 1992, he held a SERC Senior

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

ship. From 1998 to 2001 he was Head of the newly formed Division (subsequently School) of

Informatics Informatics is the study of computational systems, especially those for data storage and retrieval. According to ACM ''Europe and'' ''Informatics Europe'', informatics is synonymous with computer science and computing as a profession, in which ...

at Edinburgh. From 2000 to 2005, he was a founder and convener of the UK Computing Research Committee, which plays an advocacy role for computing research in the UK. From 2010 to 2012, he served as a vice-president and trustee of the

British Computer Society Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...

with special responsibility for the Academy of Computing.

Honours and awards

Bundy was a founding

AAAI Fellow Fellowship of the Association for the Advancement of Artificial Intelligence (abbreviated as AAAI Fellow or FAAAI) is an award granted to individuals that the Association for the Advancement of Artificial Intelligence (AAAI), judged to have made ...

in 1990, and elected a

Fellow of the Royal Society of Edinburgh Fellowship of the Royal Society of Edinburgh (FRSE) is an award granted to individuals that the Royal Society of Edinburgh, Scotland's national academy of science and letters, judged to be "eminently distinguished in their subject". This soci ...

(FRSE) in 1996, a founding fellow of

SSAISB The Society for the Study of Artificial Intelligence and Simulation of Behaviour or SSAISB or AISB is a nonprofit, scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behaviou ...

in 1997, a founding fellow of

European Coordinating Committee for Artificial Intelligence The European Association for Artificial Intelligence (EurAI) (formerly European Co-ordinating Committee for Artificial Intelligence (ECCAI)) is the representative body for the European artificial intelligence community. EurAI was established in 19 ...

(ECCAI) in 1999, a fellow of the British Computer Society in 2004, and a Fellow of the

Institution of Electrical Engineers The Institution of Electrical Engineers (IEE) was a British professional organisation of electronics, electrical, manufacturing, and Information Technology professionals, especially electrical engineers. It began in 1871 as the Society of Te ...

in 2005. He was elected a

Fellow of the Royal Academy of Engineering Fellowship of the Royal Academy of Engineering (FREng) is an award and fellowship for engineers who are recognised by the Royal Academy of Engineering as being the best and brightest engineers, inventors and technologists in the UK and from aroun ...

(FREng) in 2008. He was elected an

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing ...

in 2014 ''"For contributions to

artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech re ...

, automated reasoning, and the formation and evolution of representations."''. He is the winner of the 2007

IJCAI Award for Research Excellence The IJCAI Award for Research Excellence is a biannual award before given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career. Beginning in 2016, the conference is held annually and so is ...

and Herbrand Award for Distinguished Contributions to Automated Deduction. He was one of the 41 professors selected worldwide to receive one of the

Hewlett Packard The Hewlett-Packard Company, commonly shortened to Hewlett-Packard ( ) or HP, was an American multinational information technology company headquartered in Palo Alto, California. HP developed and provided a wide variety of hardware components ...

Labs Innovation Research Awards 2008. Bundy was appointed

CBE The Most Excellent Order of the British Empire is a British order of chivalry, rewarding contributions to the arts and sciences, work with charitable and welfare organisations, and public service outside the civil service. It was established o ...

in the

2012 New Year Honours 1 (one, unit, unity) is a number representing a single or the only entity. 1 is also a numerical digit and represents a single unit of counting or measurement. For example, a line segment of ''unit length'' is a line segment of length 1. I ...

for services to computing science. He was elected a Fellow of the Royal Society (FRS) in 2012, his certificate of election reads

References

{{DEFAULTSORT:Bundy, Alan Artificial intelligence researchers British computer scientists Fellows of the Association for the Advancement of Artificial Intelligence Academics of the University of Edinburgh Alumni of the University of Leicester Fellows of the Royal Academy of Engineering Fellows of the Royal Society of Edinburgh Fellows of the Royal Society Fellows of the British Computer Society Fellows of the Institution of Engineering and Technology Fellows of the SSAISB Living people 1947 births Commanders of the Order of the British Empire Fellows of the European Association for Artificial Intelligence