Банди, Алан

Алан Банди получил математическое образование. В 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)^[5]. В 2014 году он стал членом Ассоциации вычислительной техники (ACM) за вклад в искусственный интеллект, автоматическое доказательство теорем, а также формирование и эволюцию представлений^[6].

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

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

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