アラン・バンディ

アラン・バンディ CBE FRS FRSE FREng
生まれる	アラン・リチャード・バンディ ( 1947-05-18 )1947年5月18日（77歳）[3] アイルワース、ウェストロンドン、イギリス
母校	レスター大学(学士、博士)
受賞歴	AAAIフェロー（1990） ACMフェロー（2014） IJCAI賞（2007年） エルブラン賞（2007年）
科学者としてのキャリア
フィールド	自動推論 自動定理証明 人工知能 形式手法 オントロジーの進化[1]
機関	エディンバラ大学
論文	初等方程式微積分のメタ理論 （1971）
博士課程の指導教員	ルーベン・グッドスタイン[2]
博士課程の学生	サイモン・コルトン フランク・ファン・ハルメレン マーサ・パーマー リンカーン・ウォーレン トビー・ウォルシュ[2]
Webサイト	ホームページ.inf.ed.ac.uk/bundy

アラン・リチャード・バンディ（1947年5月18日生まれ）は、エディンバラ大学情報学部の教授であり、^[4]自動推論、特に証明計画、証明探索を導くためのメタレベル推論の使用への貢献で知られています。^{[1] [5] [6] [7] [8] [9] [10] [11]}

アラン・バンディは数学者として教育を受け、1968年にレスター大学で数学の優等学位を取得し、1971年には同じくレスター大学で数理論理学の博士号を取得した。 ^[12]

1971年以来、バンディはエディンバラ大学で働いています。最初は「メタ数学」ユニットに所属していましたが、このユニットは1972年に計算論理学科となり、1974年に新設の人工知能学科に吸収され、1998年には新設の情報学部に吸収されました。1971年から1973年まで、バンディはB・メルツァー教授の科学技術研究会議（SERC）助成金「コンピュータによる定理証明」の研究員でした。1973年に大学講師に任命され、1984年に講師に昇進し、1987年に教授フェローに昇進し、1990年に教授に昇進しました。1987年から1992年まで、バンディはSERCシニアフェローを務めました。 1998 年から 2001 年にかけて、彼はエディンバラで新設された情報科学部門 (後に学部) の責任者を務めました。

2000年から2005年まで、彼は英国におけるコンピューティング研究の擁護役を担う英国コンピューティング研究委員会の創設者および議長を務めた。2010年から2012年まで、彼は英国コンピュータ協会の副会長および理事を務め、コンピューティングアカデミーの特別責任者を務めた。^[13]

バンディは1990年にAAAIの創設フェローとなり、 1996年にエディンバラ王立協会（FRSE）のフェロー、 1997年にSSAISBの創設フェロー、1999年に欧州人工知能調整委員会（ECCAI）の創設フェロー、2004年に英国コンピュータ協会のフェロー、 2005年に電気技術者協会のフェローに選出された。 2008年には王立工学アカデミー（FREng）^[14]のフェローに選出された。 2014年には「人工知能、自動推論、表現の形成と進化への貢献」によりACMフェローに選出された。^[15]

彼は、2007 年のIJCAI 研究優秀賞と自動推論への顕著な貢献に対するエルブラン賞を受賞しています。

彼は、2008年のヒューレット・パッカード研究所イノベーション研究賞を受賞した世界各国から選ばれた41人の教授の一人であった。^[16]

バンディは、 2012年の新年叙勲で、コンピューター科学への貢献によりCBE に任命された。 ^[17]彼は2012年に王立協会フェロー（FRS）に選出され、^[18]選出証書には次のように記されている。

アラン・バンディは、自動推論と知識表現の自動形成および進化の両方において世界をリードする貢献を果たしました。彼は、効率、範囲、動作を改善した新しい技術を開発しました。自動推論に関する彼の研究は、ハードウェアおよびソフトウェアシステム開発に応用され、自動化のレベルを高めました。これにより、コンピュータプログラムの検証に必要なスキルレベルと開発時間が削減され、産業界で採用されました。彼の表現進化に関する研究は、関連する知識の異なる表現を持つ機関間のコミュニケーションを促進します。^[18]