Michael Fourman とは

Michael Paul Fourman FBCS(1950年9月12日生まれ)は、英スコットランドのエジンバラ大学のコンピュータシステム教授であり、2001年から2009年には情報学部の教授を務めました。
Fourmanは、コンピュータ・サイエンス、人工知能、認知科学の論理の応用、より具体的には、デジタル・システム、システム設計ツール、プルーフ・アシスタント、カテゴリーセマンティクス、命題計画の正式なモデルに興味を持っています。