Alan Bundy

Last updated • 3 min readFrom Wikipedia, The Free Encyclopedia

Alan Bundy
Alan.Bundy.Image.jpg
Born
Alan Richard Bundy

(1947-05-18) 18 May 1947 (age 77) [1]
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 [3]
Doctoral students
Website homepages.inf.ed.ac.uk/bundy

Alan Richard Bundy (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh, [4] known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. [2] [5] [6] [7] [8] [9] [10] [11]

Contents

Education

Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, also from Leicester. [12]

Career and research

Since 1971, Bundy has worked 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 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant Theorem Proving by Computer; in 1973, he was appointed 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 to 1992, he held a SERC Senior Fellowship. From 1998 to 2001 he was Head of the newly formed Division (subsequently School) of Informatics 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 with special responsibility for the Academy of Computing. [13]

Honours and awards

Bundy was a founding AAAI Fellow in 1990, and elected a Fellow of the Royal Society of Edinburgh (FRSE) in 1996, a founding fellow of SSAISB in 1997, a founding fellow of European Coordinating Committee for Artificial Intelligence (ECCAI) in 1999, a fellow of the British Computer Society in 2004, and a Fellow of the Institution of Electrical Engineers in 2005. He was elected a Fellow of the Royal Academy of Engineering (FREng) [14] in 2008. He was elected an ACM Fellow in 2014 "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.". [15]

He is the winner of the 2007 IJCAI Award for Research Excellence 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 Labs Innovation Research Awards 2008. [16]

Bundy was appointed CBE in the 2012 New Year Honours for services to computing science. [17] He was elected a Fellow of the Royal Society (FRS) in 2012, [18] his certificate of election reads

Alan Bundy has made world-leading contributions to both automated reasoning and the automated formation and evolution of representations of knowledge. He has developed novel techniques with improved efficiency, range and behaviour. His work on automated reasoning has found application in hardware and software systems development, where it has increased the level of automation. It has decreased the skill level and development time required to verify computer programs and has been taken up by industry. His work on representation evolution facilitates communication between agencies with different representations of related knowledge. [18]

Related Research Articles

<span class="mw-page-title-main">Robin Milner</span> British computer scientist (1934–2010)

Arthur John Robin Gorell Milner was a British computer scientist, and a Turing Award winner.

<span class="mw-page-title-main">Stuart J. Russell</span> British computer scientist and author (born 1962)

Stuart Jonathan Russell is a British computer scientist known for his contributions to artificial intelligence (AI). He is a professor of computer science at the University of California, Berkeley and was from 2008 to 2011 an adjunct professor of neurological surgery at the University of California, San Francisco. He holds the Smith-Zadeh Chair in Engineering at University of California, Berkeley. He founded and leads the Center for Human-Compatible Artificial Intelligence (CHAI) at UC Berkeley. Russell is the co-author with Peter Norvig of the authoritative textbook of the field of AI: Artificial Intelligence: A Modern Approach used in more than 1,500 universities in 135 countries.

<span class="mw-page-title-main">Jack Dongarra</span> American computer scientist (born 1950)

Jack Joseph Dongarra is an American computer scientist and mathematician. He is a University Distinguished Professor Emeritus of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor and teacher in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee. He was the recipient of the Turing Award in 2021.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span> Higher education institution

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

<span class="mw-page-title-main">J Strother Moore</span> American computer scientist

J Strother Moore is an American computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his Bachelor of Science (BS) in mathematics at Massachusetts Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.) in computational logic at the University of Edinburgh in Scotland in 1973.

<span class="mw-page-title-main">Robert Kowalski</span> British computer scientist (born 1941)

Robert Anthony Kowalski is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.

<span class="mw-page-title-main">Lawrence Paulson</span> American computer scientist

Lawrence Charles Paulson is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.

<span class="mw-page-title-main">Stephen Muggleton</span> Artificial intelligence researcher

Stephen H. Muggleton FBCS, FIET, FAAAI, FECCAI, FSB, FREng is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory at Imperial College London.

<span class="mw-page-title-main">Austin Tate</span>

Austin Tate is Emeritus Professor of Knowledge-based systems in the School of Informatics at the University of Edinburgh. From 1985 to 2019 he was Director of AIAI in the School of Informatics at the University of Edinburgh.

In computer science, more particularly in automated theorem proving, rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at the University of Edinburgh, and most commonly used to guide inductive proofs in automated theorem proving systems. Rippling may be viewed as a restricted form of rewrite system, where special object level annotations are used to ensure fertilization upon the completion of rewriting, with a measure decreasing requirement ensuring termination for any set of rewrite rules and expression.

Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is an alternative term for "logic in computer science".

<span class="mw-page-title-main">Andrew Blake (scientist)</span> British scientist

Andrew Blake FREng, FRS, is a British scientist, former laboratory director of Microsoft Research Cambridge and Microsoft Distinguished Scientist, former director of the Alan Turing Institute, Chair of the Samsung AI Centre in Cambridge, honorary professor at the University of Cambridge, Fellow of Clare Hall, Cambridge, and a leading researcher in computer vision.

Rodney Martineau "Rod" Burstall is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.

<span class="mw-page-title-main">Moshe Vardi</span> Israeli mathematicien and computer scientist

Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

Simon Colton is an English computer scientist, currently working as Professor of Computational Creativity in the Game AI Research Group at Queen Mary University of London and in the Sensilab at Monash University, Australia.

Donald W. Loveland is a professor emeritus of computer science at Duke University who specializes in artificial intelligence. He is well known for the Davis–Putnam–Logemann–Loveland algorithm.

<span class="mw-page-title-main">Wenfei Fan</span> Chinese-British computer scientist

Wenfei Fan is a Chinese-British computer scientist and professor of web data management at the University of Edinburgh. His research investigates database theory and database systems.

<span class="mw-page-title-main">Michael Wooldridge (computer scientist)</span> British computer scientist

Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.

<span class="mw-page-title-main">Carla Gomes</span> Portuguese-American computer scientist

Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.

Deepak Kapur is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.

References

  1. Anon (2015). "Bundy, Prof. Alan Richard" . Who's Who (online Oxford University Press  ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391.(Subscription or UK public library membership required.)
  2. 1 2 Alan Bundy publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  3. 1 2 Alan Bundy at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  4. http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  5. http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
  6. Alan Bundy at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  7. Alan Bundy publications indexed by the Scopus bibliographic database. (subscription required)
  8. Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN   978-3-540-19343-2.
  9. Alan Bundy author profile page at the ACM Digital Library
  10. Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl: 1842/4748 . S2CID   7169278.
  11. Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC   59289386.
  12. Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC   1063438754. EThOS   uk.bl.ethos.674029. Lock-green.svg
  13. "Alan Bundy". research.ed.ac.uk. Retrieved 7 September 2021.
  14. "List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.
  15. ACM Fellows 2014
  16. "HP Press Release: HP Selects 41 Professors for Innovation Research Awards".
  17. "No. 60009". The London Gazette (Supplement). 31 December 2011. p. 7.
  18. 1 2 "Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.