Don Sannella とは

Donald T. Sannella FRSEは、スコットランドエジンバラ大学情報学部コンピュータサイエンス基礎研究所のコンピュータサイエンス教授です。
Sannellaは、エール大学、カリフォルニア大学、バークレー校、エジンバラ大学を卒業し、コンピュータサイエンスの学位を取得しました。彼の研究分野には、代数仕様と正式なソフトウェア開発、モジュラーシステムの正確さ、タイプと機能プログラミング、モバイルコードのリソース証明が含まれます。
彼はThe Journal of Theoretical Computer Scienceの編集長であり、Contemplate Ltd.の共同創設者兼CEOであり、彼の父親はTed Sannellaです。