Alan Bundy facts for kids
Quick facts for kids
Alan Bundy
|
|
---|---|
![]() |
|
Born |
Alan Richard Bundy
18 May 1947 Isleworth, West London, England
|
Alma mater | University of Leicester (BSc, PhD) |
Awards |
|
Scientific career | |
Fields |
|
Institutions | University of Edinburgh |
Thesis | The Metatheory of the Elementary Equation Calculus (1971) |
Doctoral advisor | Reuben Goodstein |
Doctoral students |
|
Alan Richard Bundy (born 18 May 1947) is a smart professor at the University of Edinburgh. He works in the School of Informatics. Professor Bundy is famous for his work in something called automated reasoning. This means he helps computers think and solve problems on their own, especially in finding proofs for math or logic puzzles.
Alan Bundy's School Days
Alan Bundy first studied to become a mathematician. In 1968, he earned a special degree in mathematics from the University of Leicester. He continued his studies there. In 1971, he received his PhD (a very high degree) in mathematical logic.
Alan Bundy's Career and Research
Since 1971, Alan Bundy has worked at the University of Edinburgh. He started in a special unit that studied "Metamathematics." This unit later became the Department of Computational Logic. Then, it joined the new Department of Artificial Intelligence. Finally, in 1998, it became part of the School of Informatics.
Professor Bundy started as a research fellow. This means he helped with research projects. In 1973, he became a university lecturer. He then moved up to reader in 1984. In 1990, he became a full professor. From 1998 to 2001, he was the head of the new Informatics department at Edinburgh.
From 2000 to 2005, he helped start and lead the UK Computing Research Committee. This group helps support computer research in the UK. He also served as a vice-president for the British Computer Society from 2010 to 2012.
Awards and Special Recognitions
Alan Bundy has received many important awards and honors for his work.
- In 1990, he became a founding AAAI Fellow. This is a special title given by the Association for the Advancement of Artificial Intelligence.
- He was elected a Fellow of the Royal Society of Edinburgh (FRSE) in 1996.
- He became a fellow of the British Computer Society in 2004.
- In 2008, he was elected a Fellow of the Royal Academy of Engineering (FREng).
- In 2014, he was named an ACM Fellow. This was for his important work in artificial intelligence and automated reasoning.
He also won two major awards in 2007:
- The IJCAI Award for Research Excellence.
- The Herbrand Award for his great contributions to automated deduction.
In 2008, he was one of only 41 professors around the world to get a Hewlett-Packard Labs Innovation Research Award.
In 2012, Alan Bundy was given the title of CBE (Commander of the Order of the British Empire). This was a special honor from the Queen for his services to computer science. In the same year, he was also elected a Fellow of the Royal Society (FRS). This is a very high honor for scientists in the UK. His election certificate said he made "world-leading contributions" to how computers reason and understand information. His work has helped make computer programs better and easier to use.