| 词条 | Alan Bundy |
| 释义 |
|name = Alan Bundy |birth_name = Alan Richard Bundy | honorific_suffix = {{post-nominals|country=GBR|CBE|FRS|FRSE|FREng|size=100}} |image = Alan.Bundy.Image.jpg |birth_date = {{birth date and age|df=yes|1947|5|18}}[1] |birth_place = Isleworth |death_date = |death_place = |residence = Edinburgh |citizenship = |nationality = British |ethnicity = |field = {{Plainlist|
|work_institutions = University of Edinburgh |alma_mater = University of Leicester (BSc, PhD) |doctoral_advisor = Reuben Goodstein[2] |doctoral_students ={{Plainlist|
| thesis_title = The Metatheory of the Elementary Equation Calculus | thesis_year = 1971 | thesis_url = http://hdl.handle.net/2381/34566 |known_for = |influences = |influenced = |prizes = {{Plainlist|
|footnotes = |signature = | website = {{URL|homepages.inf.ed.ac.uk/bundy}} }}Alan Richard Bundy {{post-nominals|country=GBR|CBE|FRS|FRSE|FREng}}[3] 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.[5][6][7][8][9][10][11][12] EducationAlan 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.[13] Career and researchSince 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–73, 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–92 he held a SERC Senior Fellowship. From 1998–2001 he was Head of the newly formed Division (subsequently School) of Informatics at Edinburgh. From 2000–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 he served as a Vice-President and Trustee of the British Computer Society with special responsibility for the Academy of Computing.{{fact|date=March 2019}} Honours and awardsBundy was a founding AAAI Fellow in 1990, and elected a Fellow of the Royal Society of Edinburgh (FRSE) in 1996, a founding fellow of AISB 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) [3] in 2008. He was elected an ACM Fellow in 2014 "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.".[14] 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.[15] Bundy was appointed CBE in the 2012 New Year Honours for services to computing science.[16] He was elected a Fellow of the Royal Society (FRS) in 2012,[17] his certificate of election reads{{centred pull quote|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.[17]}} References1. ^{{Who's Who | surname = Bundy | othernames = Prof. Alan Richard | id = U9391 | author=Anon|doi=10.1093/ww/9780199540884.013.U9391|year = 2015 | edition = online Oxford University Press}} {{subscription required}} {{FRS 2012}}{{Authority control}}{{DEFAULTSORT:Bundy, Alan}}2. ^1 {{MathGenealogy}} 3. ^1 {{cite web|title=List of Fellows|url=http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows|website=raeng.org.uk|publisher=Royal Academy of Engineering}} 4. ^http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website 5. ^1 {{Google scholar id}} 6. ^http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group 7. ^{{DBLP}} 8. ^{{Scopus id}} 9. ^{{Cite book | last1 = Bundy | first1 = Alan Richard | chapter = The use of explicit plans to guide inductive proofs | doi = 10.1007/BFb0012826 | title = 9th International Conference on Automated Deduction | series = Lecture Notes in Computer Science | volume = 310 | pages = 111–120 | year = 1988 | isbn = 978-3-540-19343-2}} 10. ^{{ACMPortal|id=81100201062}} 11. ^{{Cite journal | last1 = Bundy | first1 = A. | last2 = Stevens | first2 = A. | last3 = Van Harmelen | first3 = F. | last4 = Ireland | first4 = A. | last5 = Smaill | first5 = A. | title = Rippling: A heuristic for guiding inductive proofs | doi = 10.1016/0004-3702(93)90079-Q | journal = Artificial Intelligence | volume = 62 | issue = 2 | pages = 185 | year = 1993 | pmid = | pmc = }} 12. ^{{cite book|title=Computer modelling of mathematical reasoning|first=Alan|last=Bundy|year=1986|oclc=59289386|url=https://www.inf.ed.ac.uk/teaching/courses/ar/book/book_2010.06.23.pdf}} 13. ^{{cite thesis|url=https://lra.le.ac.uk/handle/2381/34566|degree=PhD|first=Alan Richard|last=Bundy|publisher=University of Leicester|title=The Metatheory of the Elementary Equation Calculus|date=1971|hdl=2381/34566|id={{EThOS|uk.bl.ethos.674029}}|oclc=1063438754}} {{free access}} 14. ^ACM Fellows 2014 15. ^{{Cite web | url=http://www.hp.com/hpinfo/newsroom/press/2008/080814xa.html | title=HP Press Release: HP Selects 41 Professors for Innovation Research Awards}} 16. ^{{London Gazette |issue=60009 |date=31 December 2011 |page=7 |supp=y }} 17. ^1 {{cite web|archiveurl=https://web.archive.org/web/20151105225854/https://royalsociety.org/people/alan-bundy-11164/|archivedate=2015-11-05|url=https://royalsociety.org/people/alan-bundy-11164/|title=Professor Alan Bundy CBE FREng FRS|publisher=Royal Society|location=London}} 14 : 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 |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。