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

Алан Банди

Alan.Bundy.Image.jpg
Родился
Алан Ричард Банди

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

Алан Ричард Банди CBE FRS FRSE FREng является профессором в школе информатики в Эдинбургском университете , известный за его вклад в автоматизированном рассуждения , особенно для доказательства планирования, использование мета-уровня мышления для руководства поиска доказательства .

Образование

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

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

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

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

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

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

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

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

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

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

использованная литература