Loading article…
アンドリュー・D・ゴードン | |
|---|---|
| 生まれる | |
| 教育 | 1992年ケンブリッジ大学博士号取得 |
| 知られている | 並行Haskell Spi計算 アンビエント計算 SecPAL |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コグナ ケンブリッジ大学 コンピュータサイエンスおよびテクノロジー学部 エディンバラ大学 マイクロソフトリサーチ |
| 論文 | 関数型プログラミングと入出力 （1992） |
| Webサイト | ホームページ |
アンドリュー・D・ゴードンは、英国のコンピュータ科学者であり、ソフトウェア合成会社Cogna [1]の最高科学責任者[2]およびケンブリッジ大学[2]に勤務しています。以前は、マイクロソフトリサーチに勤務していました。彼の研究対象は、プログラミング言語設計、形式手法、並行性、暗号化、アクセス制御などです。
バイオグラフィー
ゴードンは1992年にケンブリッジ大学で博士号を取得しました。1997年まで、ゴードンはケンブリッジ大学コンピュータ研究所の研究員でした。その後、イギリスのケンブリッジにあるマイクロソフト研究所に加わり、プログラミング原理とツールグループの主任研究員を務めました。[3]また、エディンバラ大学の教授も務めています。[4]
研究
ゴードンは、関数型プログラミング言語Haskellの拡張であるConcurrent Haskellの設計者の一人です。これは並行性のための明示的な基本データ型を追加したもので、後にGlasgow Haskell Compilerの一部としてライブラリ化されました。彼はMartin Abadiとともに、暗号化システムについての形式化された推論のためのπ 計算の拡張であるSpi 計算の共同設計者です。 [5]彼とLuca Cardelli は、モバイルコードについての推論のためのアンビエント計算を発明しました。[6]ゴードンは Moritz Y. Becker および Cédric Fournet とともに、アクセス制御ポリシー用のMicrosoft仕様言語であるSecPALも設計しました。
Control.Concurrent
受賞と栄誉
ゴードンの博士論文「関数型プログラミングと入出力」は、1993年に英国コンピュータ協会の優秀論文賞を受賞した。[7] 2000年にルカ・カルデッリと共著したアンビエント計算に関する論文「いつでもどこでも：モバイルアンビエントのための様相論理」は、2010年にSIGPLAN最も影響力のあるPOPL論文賞を受賞した。[8]
参考文献
- ^ 「あなたが定義し、AIが実現する高精度ソフトウェア」Cogna, Ltd.ロンドン、イギリス。2024年。 2024年12月1日閲覧。
- ^ ab ゴードン、アンディ。「アンディ・ゴードン」。LinkedIn。ロンドン、イギリス。 2024年12月1日閲覧。
- ^ 「プログラミング、原則、ツール グループ」。Microsoft Research。2024年11 月 28 日閲覧。
- ^ 「Andy Gordon」。エディンバラ大学情報学部。2024年12月1日閲覧。
- ^ Ryan, Peter; Schneider, Steve A. (2001). 「9.10 Spi 計算」。セキュリティ プロトコルのモデリングと分析: CSP アプローチ。Addison-Wesley Professional。pp. 234–235。ISBN 978-0-201-67471-2。
- ^ Bergstra, JA; Ponse, Alban; Smolka, Scott A. (2001). 「4.3.3. アンビエント計算」 プロセス代数ハンドブック。Elsevier。pp. 1026–1028。ISBN 978-0-444-82830-9。
- ^ 「コンピュータサイエンス技術学部 – 受賞と栄誉」。コンピュータサイエンス技術学部。ケンブリッジ大学。2012–2024年。 2024年11月28日閲覧。
- ^ 「最も影響力のあるPOPL論文賞」。ACMプログラミング言語特別興味グループ（SIGPLAN）。Association for Computing Machinery。1993– 2014年。2009年8月2日時点のオリジナルよりアーカイブ。2024年11月28日閲覧。
外部リンク
- 公式サイト、コニャ
- Google Scholarに索引付けされた Andrew D. Gordon の出版物