Алан Банди
Алан Банди | |
---|---|
![]() | |
Рожденный | Алан Ричард Банди 18 мая 1947 г. [3] Айлворт, Западный Лондон , Англия |
Альма-матер | Университет Лестера (бакалавр, доктор философии) |
Награды |
|
Научная карьера | |
Поля | |
Учреждения | Эдинбургский университет |
Диссертация | Метатеория исчисления элементарных уравнений (1971) |
Докторантура | Рубен Гудстейн [2] |
Докторанты | |
Веб-сайт | домашние страницы |
Алан Ричард Банди 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]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Публикации Алана Банди , проиндексированные Google Scholar
- ^ Перейти обратно: а б Алан Банди в проекте «Математическая генеалогия»
- ^ Анон (2015). «Банди, профессор Алан Ричард» . Кто есть кто (онлайн- изд. Oxford University Press ). А&С Черный. дои : 10.1093/ww/9780199540884.013.U9391 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Перейти обратно: а б «Список коллег» . raeng.org.uk . Королевская инженерная академия. Архивировано из оригинала 8 июня 2016 года . Проверено 14 октября 2014 г.
- ^ http://homepages.inf.ed.ac.uk/bundy/ Веб-сайт профессора Алана Банди.
- ^ http://dream.inf.ed.ac.uk/ Группа математических рассуждений
- ^ Алан Банди на DBLP библиографическом сервере
- ^ Публикации Алана Банди , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Банди, Алан Ричард (1988). «Использование явных планов для проведения индуктивных доказательств» (PDF) . 9-я Международная конференция по автоматизированному дедукции . Конспекты лекций по информатике. Том. 310. стр. 111–120. дои : 10.1007/BFb0012826 . hdl : 1842/4561 . ISBN 978-3-540-19343-2 .
- ^ Алана Банди Страница профиля автора ACM. в цифровой библиотеке
- ^ Банди, А.; Стивенс, А.; Ван Хармелен, Ф.; Ирландия, А.; Смайлл, А. (1993). «Пульсация: эвристика для проведения индуктивных доказательств». Искусственный интеллект . 62 (2): 185. дои : 10.1016/0004-3702(93)90079-Q . hdl : 1842/4748 . S2CID 7169278 .
- ^ Банди, Алан (1986). Компьютерное моделирование математических рассуждений (PDF) . OCLC 59289386 .
- ^ Банди, Алан Ричард (1971). Метатеория исчисления элементарных уравнений (кандидатская диссертация). Университет Лестера. hdl : 2381/34566 . OCLC 1063438754 . EThOS uk.bl.ethos.674029 .
- ^ «Алан Банди» . исследование.ed.ac.uk . Проверено 7 сентября 2021 г.
- ^ Стипендиаты ACM 2014 г.
- ^ «Пресс-релиз HP: HP выбирает 41 профессора для получения награды за инновационные исследования» .
- ^ «№60009» . Лондонская газета (Приложение). 31 декабря 2011 г. с. 7.
- ^ Перейти обратно: а б «Профессор Алан Банди CBE FREng FRS» . Лондон: Королевское общество . Архивировано из оригинала 5 ноября 2015 года.
- Британские исследователи искусственного интеллекта
- Британские ученые-компьютерщики
- Члены Ассоциации по развитию искусственного интеллекта
- Академики Эдинбургского университета
- Выпускники Лестерского университета
- Члены Королевской инженерной академии
- Члены Королевского общества Эдинбурга
- Члены Королевского общества
- Члены Британского компьютерного общества
- Стипендиаты Института инженерии и технологий
- Члены SSAISB
- Живые люди
- 1947 рождений
- Кавалеры Ордена Британской Империи
- Члены Европейской ассоциации искусственного интеллекта