Alan Bundy - Alan Bundy
Alan Bundy
| |
---|---|
Urodzić się |
Alan Richard Bundy
18 maja 1947 |
Narodowość | brytyjski |
Alma Mater | Uniwersytet w Leicester (licencjat, doktorat) |
Nagrody | |
Kariera naukowa | |
Pola | |
Instytucje | Uniwersytet w Edynburgu |
Praca dyplomowa | Metateoria rachunku równań elementarnych (1971) |
Doradca doktorski | Reuben Goodstein |
Doktoranci | |
Strona internetowa | strony domowe |
Alan Richard Bundy CBE FRS FRSE FREng jest profesorem w Szkole Informatyki na Uniwersytecie w Edynburgu , znanym ze swojego wkładu w zautomatyzowane wnioskowanie , zwłaszcza w planowanie dowodu, wykorzystanie rozumowania na metapoziomie do kierowania wyszukiwaniem dowodu .
Edukacja
Alan Bundy kształcił się jako matematyk, uzyskując dyplom z wyróżnieniem w dziedzinie matematyki w 1968 r. na Uniwersytecie w Leicester oraz doktorat z logiki matematycznej w 1971 r., również w Leicester.
Kariera i badania
Od 1971 r. Bundy pracował na Uniwersytecie w Edynburgu : początkowo w Zakładzie „Metamatematyki”, który w 1972 r. stał się Wydziałem Logiki Obliczeniowej, w 1974 r. został wchłonięty do nowego Wydziału Sztucznej Inteligencji, a w 1998 r. został wchłonięty przez nowy Szkoła Informatyki . W latach 1971-73 był pracownikiem naukowym grantu SERC Prof. B. Meltzer's Science and Engineering Research Council Theorem Proving by Computer ; w 1973 został mianowany wykładowcą uniwersyteckim ; w 1984 awansował na czytelnika ; w 1987 awansowany na profesora; aw 1990 został awansowany na profesora. W latach 1987-92 był stypendystą SERC Senior Fellowship . W latach 1998-2001 był kierownikiem nowo utworzonego Zakładu (później Szkoły) Informatyki w Edynburgu.
W latach 2000-2005 był założycielem i przewodniczącym UK Computing Research Committee, który pełni rolę rzecznika badań komputerowych w Wielkiej Brytanii. W latach 2010-2012 pełnił funkcję wiceprezesa i powiernika Brytyjskiego Towarzystwa Komputerowego ze szczególną odpowiedzialnością za Akademię Informatyki.
wyróżnienia i nagrody
Bundy był założycielem AAAI Fellow w 1990 roku i wybrany członkiem Royal Society of Edinburgh (FRSE) w 1996 roku, założycielem SSAISB w 1997 roku, założycielem European Coordinating Committee for Artificial Intelligence (ECCAI) w 1999 roku. stypendysta Brytyjskiego Towarzystwa Komputerowego w 2004 r. oraz stypendysta Institution of Electrical Engineers w 2005 r. W 2008 r. został wybrany stypendystą Królewskiej Akademii Inżynierii (FREng). W 2014 r. został wybrany stypendystą ACM „Za wkład w sztuczna inteligencja , zautomatyzowane wnioskowanie oraz tworzenie i ewolucja reprezentacji.” .
Jest zwycięzcą nagrody IJCAI 2007 za doskonałość badawczą oraz nagrody Herbrand za wybitny wkład w zautomatyzowane odliczenie .
Był jednym z 41 profesorów wybranych na całym świecie, którzy otrzymali jedną z nagród Hewlett Packard Labs Innovation Research Awards 2008.
Bundy został mianowany CBE w konkursie noworocznym 2012 za usługi dla informatyki. Został wybrany Fellow of the Royal Society (FRS) w 2012 roku , jego certyfikat wyborczy brzmi
Alan Bundy wniósł wiodący na świecie wkład zarówno w zautomatyzowane wnioskowanie, jak i zautomatyzowane tworzenie i ewolucję reprezentacji wiedzy. Opracował nowatorskie techniki o zwiększonej wydajności, zasięgu i zachowaniu. Jego praca nad zautomatyzowanym wnioskowaniem znalazła zastosowanie w rozwoju sprzętu i oprogramowania, gdzie podniosła poziom automatyzacji. Obniżyło poziom umiejętności i czas tworzenia wymaganych do weryfikacji programów komputerowych i zostało przyjęte przez przemysł. Jego praca nad ewolucją reprezentacji ułatwia komunikację między agencjami z różnymi reprezentacjami powiązanej wiedzy.
Bibliografia