Loading article…
マイケル・ポール・フォーマン | |
|---|---|
 | |
| 生まれる | ( 1950-09-12 ) 1950年9月12日 オックスフォード、イギリス |
| 母校 | オックスフォード大学、ブリストル大学。 |
| 科学者としてのキャリア | |
| フィールズ | 論理学者、コンピュータ科学者、数学者 |
| 機関 | エディンバラ大学 |
| ロビン・ガンディ、ダナ・スコット | |
マイケル・ポール・フォーマン（1950年9月12日生まれ）は、英国スコットランドのエディンバラ大学のコンピュータシステム学教授であり、 2001年から2009年まで情報学部長を務めた。
フォーマンは、コンピュータ科学、人工知能、認知科学における論理学の応用、より具体的には、デジタルシステムの形式モデル、システム設計ツール、証明支援システム、圏論的意味論、命題計画などの分野で研究を行ってきた。
フォーマンは1971年にブリストル大学で数学と哲学の理学士号を取得し、1972年にはオックスフォード大学で数理論理学の修士号を取得した。彼はオックスフォード大学でダナ・スコットの指導の下、 「圏論と論理学の関連性」というテーマで博士論文を執筆し、1974年に論文審査に合格した。
彼は、 SRCの博士研究員およびオックスフォードのウルフソン・カレッジのジュニア・リサーチ・フェローとしてスコットと共同研究を続け、1976年に米国に移住した。最初はマサチューセッツ州ウースターのクラーク大学で数学の客員助教授を務め、その後、1977年から1982年までニューヨークのコロンビア大学でJFリット数学助教授を務めた。
1983年、彼は科学技術研究評議会のフェローシップを得て、ブルネル大学の電子電気工学科に移籍した。その後、ブルネル大学で准教授に任命され、1986年には形式システム学の教授に就任した。
フォーマンは、1986年に設立されたAbstract Hardware Limited（AHL）の共同創業者兼技術ディレクターでした。彼は、ハードウェア設計を支援するLAMBDAシステム（Logic And Mathematics Behind Design Automation）の開発において中心的な役割を果たしました。LAMBDAシステムはSMLプログラミング言語で実装され、AHLによって販売されました。彼は1997年に同社を退社しました。
1988年、彼はエジンバラ大学のコンピュータ科学基礎研究所に加わり、コンピュータ科学科のコンピュータシステム講座の教授に任命された。1998年には情報学部門の初代責任者となり、同部門は現在の情報学部へと発展し、旧人工知能学科、人工知能応用研究所、認知科学センター、人間コミュニケーション研究センター、そしてコンピュータ科学科を統合した。
彼は2002年8月から再び情報学部長を務めている。
彼はパリ（1975年）、ユトレヒト（1977年、1980年）、ケンブリッジ（1979～80年）、シドニー（1982年）、モントリオール（1983年）、パース（1994年）の大学で客員研究員を務めた。