ドン・サンネッラ

ドナルド T. サンネラは、スコットランドのエディンバラ大学情報学部コンピュータサイエンス基礎研究所のコンピュータサイエンス教授です。

Sannella は、イェール大学、カリフォルニア大学バークレー校、エディンバラ大学を卒業し、コンピューターサイエンスの学位を取得しました。彼の研究対象には、代数仕様と形式 ソフトウェア開発、モジュラーシステムの正確性、型と関数型プログラミング、モバイルコードのリソース認証などがあります。

サンネラ氏は、1998年以来毎年ヨーロッパで開催されているコンピュータサイエンス会議の連合である、ヨーロッパソフトウェアの理論と実践に関する合同会議の創設者です。彼は、ジャーナル「Theoretical Computer Science」の編集長であり、Contemplate Ltd.の共同創設者兼CEOです。彼の父親はテッド・サンネラです。

2014年にサンネッラはエディンバラ王立協会の会員に選出された。^[1]

• 公式サイト
• 個人ウェブサイト
• 出版物