Алан Банди - Alan Bundy

Для вымышленного персонажа см. Аль Банди.

Алан Банди

CBE ФРС FRSE FREng
Alan.Bundy.Image.jpg
Родившийся
Алан Ричард Банди

(1947-05-18) 18 мая 1947 г. (возраст 73)[1]
Isleworth
НациональностьБританский
Альма-матерУниверситет Лестера (Бакалавр, доктор философии)
Награды
Научная карьера
Поля
УчрежденияЭдинбургский университет
ТезисМетатеория исчисления элементарных уравнений  (1971)
ДокторантРубен Гудштейн[3]
Докторанты
Интернет сайтдомашние страницы.inf.ed.ac.Великобритания/ bundy

Алан Ричард Банди CBE ФРС FRSE FREng[4] является профессором Школа информатики на Эдинбургский университет,[5] известен своим вкладом в автоматическое рассуждение, особенно для планирования проверки, использование метауровневых рассуждений для руководства поиск доказательств.[2][6][7][8][9][10][11][12]

Образование

Алан Банди получил образование математика и получил диплом с отличием по математике в 1968 г. Университет Лестера и кандидат наук в Математическая логика в 1971 г. также из Лестера.[13]

Карьера и исследования

С 1971 года Банди работал в Эдинбургский университет: первоначально в отделе «Метаматематика», который в 1972 г. стал отделом вычислительной логики, в 1974 г. был преобразован в новый отдел искусственного интеллекта, а в 1998 г. - в новый отдел искусственного интеллекта. Школа информатики. С 1971 по 1973 год он был научным сотрудником по проекту профессора Б. Мельцера. Совет по науке и инженерным исследованиям (SERC) грант Доказательство теорем на компьютере; в 1973 году он был назначен университетом лектор; в 1984 году его повысили до читатель; в 1987 году получил звание профессора; а в 1990 году получил звание профессора. В 1987–92 гг. Он занимал должность старшего SERC. Товарищество. С 1998–2001 гг. - начальник вновь образованного отделения (впоследствии школы) Информатика в Эдинбурге.

С 2000 по 2005 год он был основателем и руководителем Комитета по компьютерным исследованиям Великобритании, который играет роль в защите компьютерных исследований в Великобритании. С 2010 года занимал должность вице-президента и попечителя Британское компьютерное общество с особой ответственностью за Академию вычислительной техники.[нужна цитата ]

Почести и награды

Банди был основателем Член AAAI в 1990 г. и избрал Член Королевского общества Эдинбурга (FRSE) в 1996 году, один из основателей AISB в 1997 году, один из основателей Европейский координационный комитет по искусственному интеллекту (ECCAI) в 1999 г., член Британского компьютерного общества в 2004 г. и член Институт инженеров-электриков в 2005 году. Он был избран Член Королевской инженерной академии (FREng) [4] в 2008 году. Он был избран Член ACM в 2014 "За взносы в искусственный интеллект, автоматизированные рассуждения, а также формирование и развитие представлений "..[14]

Он победитель конкурса 2007 г. Премия IJCAI за научные достижения и Премия Herbrand за выдающийся вклад в автоматизированные отчисления.

Он был одним из 41 профессора, отобранных во всем мире для получения одной из Hewlett Packard Награды Labs Innovation Research Awards 2008.[15]

Банди был назначен CBE в Новый год 2012 почести для услуг в области вычислительной техники.[16] Он был избран Член Королевского общества (FRS) 2012 г.,[17] его свидетельство о выборах гласит

Алан Банди внес ведущий в мире вклад как в автоматизированное рассуждение, так и в автоматизированное формирование и развитие представлений о знании. Он разработал новые методы с повышенной эффективностью, дальностью действия и поведением. Его работа по автоматизированному мышлению нашла применение при разработке аппаратных и программных систем, где она повысила уровень автоматизации. Это снизило уровень навыков и время разработки, необходимое для проверки компьютерных программ, и было принято промышленностью. Его работа по эволюции представлений облегчает общение между агентствами с различными представлениями связанных знаний.[17]

Рекомендации

  1. ^ Анон (2015). "Банди, профессор Алан Ричард". Кто есть кто. ukwhoswho.com (онлайн Oxford University Press ред.). A&C Black, отпечаток Bloomsbury Publishing plc. Дои:10.1093 / ww / 9780199540884.013.U9391. (подписка или Членство в публичной библиотеке Великобритании требуется) (требуется подписка)
  2. ^ а б Алан Банди публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  3. ^ а б Алан Банди на Проект "Математическая генеалогия" Отредактируйте это в Викиданных
  4. ^ а б «Список стипендиатов». raeng.org.uk. Королевская инженерная академия.
  5. ^ http://homepages.inf.ed.ac.uk/bundy/ Сайт профессора Алана Банди
  6. ^ http://dream.inf.ed.ac.uk/ Группа математического мышления
  7. ^ Алан Банди в DBLP Сервер библиографии Отредактируйте это в Викиданных
  8. ^ Алан Банди публикации, проиндексированные Scopus библиографическая база данных. (требуется подписка)
  9. ^ Банди, Алан Ричард (1988). «Использование явных планов для индуктивных доказательств» (PDF). 9-я Международная конференция по автоматическому отчислению. Конспект лекций по информатике. 310. С. 111–120. Дои:10.1007 / BFb0012826. HDL:1842/4561. ISBN  978-3-540-19343-2.
  10. ^ Алан Банди страница профиля автора на ACM Цифровая библиотека
  11. ^ Банди, А .; Стивенс, А .; Van Harmelen, F .; Ирландия, A .; Smaill, A. (1993). «Рябь: эвристика для индуктивных доказательств». Искусственный интеллект. 62 (2): 185. Дои:10.1016 / 0004-3702 (93) 90079-Q. HDL:1842/4748.
  12. ^ Банди, Алан (1986). Компьютерное моделирование математических рассуждений (PDF). OCLC  59289386.
  13. ^ Банди, Алан Ричард (1971). Метатеория исчисления элементарных уравнений (Кандидатская диссертация). Университет Лестера. HDL:2381/34566. OCLC  1063438754. EThOS  uk.bl.ethos.674029. Бесплатно читать
  14. ^ Стипендиаты ACM 2014
  15. ^ «Пресс-релиз HP: HP выбирает 41 профессора на получение награды за исследования в области инноваций».
  16. ^ «№ 60009». Лондонская газета (Добавка). 31 декабря 2011. с. 7.
  17. ^ а б "Профессор Алан Банди CBE FREng FRS". Лондон: Королевское общество. Архивировано из оригинал 5 ноября 2015 г.