Банди, Алан

Алан Банди

англ. Alan Richard Bundy

Файл:Alan.Bundy.Image.jpg

Дата рождения

18 мая 1947 года

Место рождения

Айлворт, Лондон, Англия

Род деятельности

• Автоматическое доказательство теорем
• Искусственный интеллект
• Формальные методы
• Эволюция онтологий

Сайт

homepages.inf.ed.ac.uk/bundy

Алан Ричард Банди (англ. Alan Richard Bundy; ^{[Нет даты!]}) — британский учёный в области искусственного интеллекта. Профессор Школы информатики Эдинбургского университета. Известен вкладом в автоматическое доказательство теорем, в частности, в планирование доказательств и использование метауровневых рассуждений для поиска доказательств.

Биография

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

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

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

Награды и звания

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

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

Банди вошёл в число 41 профессора со всего мира, получивших премию Hewlett-Packard Labs Innovation Research Award в 2008 году.

В 2012 году Банди был удостоен звания Командора Ордена Британской империи (CBE) за заслуги в области компьютерных наук. В том же году он был избран членом Королевского общества (FRS).

Ссылки

• homepages.inf.ed.ac.uk/bundy

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Банди, Алан», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Банди,_Алан Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».