Jump to content

Алан Банди

Алан Банди
Рожденный
Алан Ричард Банди

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

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

Образование

[ редактировать ]

Алан Банди получил математическое образование: в 1968 году получил диплом с отличием по математике в Лестерском университете и докторскую степень по математической логике в 1971 году, также в Лестере. [13]

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

[ редактировать ]

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

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

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

[ редактировать ]

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

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

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

Банди был назначен CBE в новогодней награде 2012 года за заслуги в области информатики. [17] В 2012 году он был избран членом Королевского общества (FRS) . [18] в его свидетельстве о выборах говорится

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

  1. ^ Перейти обратно: а б Публикации Алана Банди , проиндексированные Google Scholar Отредактируйте это в Викиданных
  2. ^ Перейти обратно: а б Алан Банди в проекте «Математическая генеалогия» Отредактируйте это в Викиданных
  3. ^ Анон (2015). «Банди, профессор Алан Ричард» . Кто есть кто (онлайн- изд. Oxford University Press ). А&С Черный. дои : 10.1093/ww/9780199540884.013.U9391 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
  4. ^ Перейти обратно: а б «Список коллег» . raeng.org.uk . Королевская инженерная академия. Архивировано из оригинала 8 июня 2016 года . Проверено 14 октября 2014 г.
  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. ^ Банди, А.; Стивенс, А.; Ван Хармелен, Ф.; Ирландия, А.; Смайлл, А. (1993). «Пульсация: эвристика для проведения индуктивных доказательств». Искусственный интеллект . 62 (2): 185. дои : 10.1016/0004-3702(93)90079-Q . hdl : 1842/4748 . S2CID   7169278 .
  12. ^ Банди, Алан (1986). Компьютерное моделирование математических рассуждений (PDF) . OCLC   59289386 .
  13. ^ Банди, Алан Ричард (1971). Метатеория исчисления элементарных уравнений (кандидатская диссертация). Университет Лестера. hdl : 2381/34566 . OCLC   1063438754 . EThOS   uk.bl.ethos.674029 . Значок бесплатного доступа
  14. ^ «Алан Банди» . исследование.ed.ac.uk . Проверено 7 сентября 2021 г.
  15. ^ Стипендиаты ACM 2014 г.
  16. ^ «Пресс-релиз HP: HP выбирает 41 профессора для получения награды за инновационные исследования» .
  17. ^ «№60009» . Лондонская газета (Приложение). 31 декабря 2011 г. с. 7.
  18. ^ Перейти обратно: а б «Профессор Алан Банди CBE FREng FRS» . Лондон: Королевское общество . Архивировано из оригинала 5 ноября 2015 года.


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: a8b0befb16dbdf0ee1e35fb3de1cd9a3__1714966560
URL1:https://arc.ask3.ru/arc/aa/a8/a3/a8b0befb16dbdf0ee1e35fb3de1cd9a3.html
Заголовок, (Title) документа по адресу, URL1:
Alan Bundy - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)