Alan Bundy - Alan Bundy

Fiktivní postava viz Al Bundy.

Alan Bundy

CBE FRS FRSE FREng
Alan.Bundy.Image.jpg
narozený
Alan Richard Bundy

(1947-05-18) 18. května 1947 (věk 73)[1]
Isleworth
Národnostbritský
Alma materUniversity of Leicester (BSc, PhD)
Ocenění
Vědecká kariéra
Pole
InstituceUniversity of Edinburgh
TezeMetateorie základního rovnicového počtu  (1971)
Doktorský poradceReuben Goodstein[3]
Doktorandi
webová stránkadomovské stránky.inf.ed.ac.Spojené království/ bundy

Alan Richard Bundy CBE FRS FRSE FREng[4] je profesorem na Škola informatiky na University of Edinburgh,[5] známý svými příspěvky do automatické uvažování, zejména pro plánování kontroly, použití metaúrovňového uvažování jako vodítka důkazní prohlídka.[2][6][7][8][9][10][11][12]

Vzdělávání

Alan Bundy byl vzděláván jako matematik a v roce 1968 získal diplom z matematiky University of Leicester a a PhD v Matematická logika v roce 1971, také z Leicesteru.[13]

Kariéra a výzkum

Od roku 1971 pracoval Bundy v University of Edinburgh: původně v oddělení „metamatematiky“, které se v roce 1972 stalo katedrou výpočetní logiky, bylo v roce 1974 začleněno do nové katedry umělé inteligence a v roce 1998 bylo začleněno do nové Škola informatiky. V letech 1971–73 pracoval jako vědecký pracovník u prof. B. Meltzera Rada pro vědecký a technický výzkum (SERC) grant Věta prokazující počítač; v roce 1973 byl jmenován univerzitou přednášející; v roce 1984 byl povýšen na čtenář; v roce 1987 byl povýšen na profesora; a v roce 1990 byl povýšen na profesora. V letech 1987–1992 byl seniorem SERC Přátelství. V letech 1998–2001 byl vedoucím nově vytvořené divize (následně školy) v Informatika v Edinburghu.

V letech 2000–2005 byl zakladatelem a svolatelem výboru pro výpočetní techniku ​​ve Velké Británii, který hraje advokační roli ve výpočetním výzkumu ve Velké Británii. Od roku 2010 působil jako viceprezident a správce Britská počítačová společnost se zvláštní odpovědností za Akademii výpočetní techniky.[Citace je zapotřebí ]

Vyznamenání a ocenění

Bundy byl zakladatelem Člen AAAI v roce 1990, a zvolen a Člen Královské společnosti v Edinburghu (FRSE) v roce 1996, zakládající člen AISB v roce 1997, zakládající člen společnosti Evropský koordinační výbor pro umělou inteligenci (ECCAI) v roce 1999, člen Britské počítačové společnosti v roce 2004 a člen Instituce elektrotechniků v roce 2005. Byl zvolen a Člen Královské akademie inženýrství (FREng) [4] v roce 2008. Byl zvolen Člen ACM v roce 2014 "Za příspěvky do umělá inteligence, automatické uvažování a tvorba a vývoj reprezentací. “.[14]

Je vítězem roku 2007 Cena IJCAI za vynikající výzkum a Herbrandova cena za významné příspěvky k automatickému odpočtu.

Byl jedním ze 41 profesorů vybraných na celém světě, aby získali jednoho z Hewlett Packard Ocenění Labs Innovation Research Awards 2008.[15]

Bundy byl jmenován CBE v Vyznamenání pro nový rok 2012 pro služby v oblasti výpočetní techniky.[16] Byl zvolen Člen Královské společnosti (FRS) v roce 2012,[17] jeho volební osvědčení zní

Alan Bundy významně přispěl světem jak k automatickému uvažování, tak k automatizovanému formování a vývoji reprezentací znalostí. Vyvinul nové techniky se zlepšenou účinností, dosahem a chováním. Jeho práce na automatizovaném uvažování našla uplatnění ve vývoji hardwarových a softwarových systémů, kde zvýšila úroveň automatizace. Snížila úroveň dovedností a čas potřebný k ověření počítačových programů a byla přijata průmyslem. Jeho práce na vývoji reprezentace usnadňuje komunikaci mezi agenturami s různými reprezentacemi souvisejících znalostí.[17]

Reference

  1. ^ Anon (2015). „Bundy, prof. Alan Richard“. Kdo je kdo. ukwhoswho.com (online Oxford University Press vyd.). A & C Black, otisk Bloomsbury Publishing plc. doi:10.1093 / ww / 9780199540884.013.U9391. (předplatné nebo Členství ve veřejné knihovně ve Velké Británii Požadované) (vyžadováno předplatné)
  2. ^ A b Alan Bundy publikace indexované podle Google Scholar Upravte to na Wikidata
  3. ^ A b Alan Bundy na Matematický genealogický projekt Upravte to na Wikidata
  4. ^ A b "Seznam spolupracovníků". raeng.org.uk. Royal Academy of Engineering.
  5. ^ http://homepages.inf.ed.ac.uk/bundy/ Web profesora Alana Bundyho
  6. ^ http://dream.inf.ed.ac.uk/ Skupina pro matematické uvažování
  7. ^ Alan Bundy na DBLP Bibliografický server Upravte to na Wikidata
  8. ^ Alan Bundy publikace indexované indexem Scopus bibliografická databáze. (vyžadováno předplatné)
  9. ^ Bundy, Alan Richard (1988). „Použití explicitních plánů k vedení indukčních důkazů“ (PDF). 9. mezinárodní konference o automatizovaném odpočtu. Přednášky z informatiky. 310. 111–120. doi:10.1007 / BFb0012826. hdl:1842/4561. ISBN  978-3-540-19343-2.
  10. ^ Alan Bundy stránka s profilem autora na ACM Digitální knihovna
  11. ^ Bundy, A .; Stevens, A .; Van Harmelen, F .; Irsko, A .; Smaill, A. (1993). "Zvlnění: Heuristika pro vedení indukčních důkazů". Umělá inteligence. 62 (2): 185. doi:10.1016 / 0004-3702 (93) 90079-Q. hdl:1842/4748.
  12. ^ Bundy, Alan (1986). Počítačové modelování matematického uvažování (PDF). OCLC  59289386.
  13. ^ Bundy, Alan Richard (1971). Metateorie základního rovnicového počtu (Disertační práce). University of Leicester. hdl:2381/34566. OCLC  1063438754. EThOS  uk.bl.ethos.674029. Zdarma ke čtení
  14. ^ ACM Fellows 2014
  15. ^ „Tisková zpráva společnosti HP: Společnost HP vybrala 41 profesorů pro ocenění Innovation Research Awards“.
  16. ^ „Č. 60009“. London Gazette (Doplněk). 31. prosince 2011. s. 7.
  17. ^ A b „Profesor Alan Bundy CBE FREng FRS“. Londýn: královská společnost. Archivovány od originál dne 5. listopadu 2015.