ギャビン・ロウ（コンピューター科学者）
英国の学者

ギャビン・ロウ
母校オックスフォード大学
科学者としてのキャリア
フィールドコンピュータサイエンス
機関オックスフォード大学（2000年以降）[1] レスター大学（2000年まで）[2]
論文時間制限付きCSPにおける確率と優先順位 （1993）
博士課程の指導教員ビル・ロスコー

ギャビン・ロウはイギリスの学者です。彼はオックスフォード大学セント・キャサリンズ・カレッジのコンピュータサイエンス教授[3] 、チュートリアルフェロー[1]、オックスフォード大学の教授[ 3]、そしてオックスフォード大学セント・キャサリンズ・カレッジのシニア・コモンルームの会長[1]を務めています。彼の研究分野はコンピュータセキュリティ（暗号プロトコル解析ツールCasperを開発）と並行性です。

教育

ロウはオックスフォード大学セント・ジョンズ・カレッジで学部生として数学を学び、[4]その後オックスフォード大学で計算科学の修士号を取得しました。[1]彼はオックスフォード大学セント・ヒューズ・カレッジで博士号を取得し、[5] 「時間制限付きCSPにおける確率と優先度」と題する論文を執筆しました。[5] [6]彼は1995年に、ニーダム・シュローダー・プロトコルへの攻撃とその問題を解決する方法を詳述した論文を発表しました。[7] [8]論文で説明されているプロトコルの修正バージョンは、ニーダム・シュローダー・ロウ・プロトコルと呼ばれています。[9]

キャリア

彼の研究分野はコンピュータセキュリティであり、暗号プロトコル解析ツールCasperを開発しました。[10]このツールはセキュリティプロトコル記述をCSPに変換し、 FDR リファインメントチェッカーで処理します。最近、彼は並行性の研究分野に移っています。[3]

彼は2010年にセキュリティプロトコル分析のための自動推論とセキュリティ理論の課題に関する合同ワークショップのプログラム共同議長を務めた。[11]

ロウは2008年[12]と2010年に教育賞を受賞した著名な教師です。[13] [14]ピーター・ミリカンとともに、 2012年にオックスフォード大学でコンピュータサイエンスと哲学の新しい共同学位の開発と設立を担当しました。[13] [15]

私生活

ロウは洞窟探検を楽しんでいる。[16]彼は1988年から1989年までオックスフォード大学洞窟探検クラブの書記を務め、 1990年にはタックルマスターを務めた。 [4]

参考文献

  1. ^ abcd "Gavin lowe".セント・キャサリンズ・カレッジ、オックスフォード. 2018年2月10日閲覧。
  2. ^ 「元職員 - レスター大学」レスター大学. 2018年2月10日閲覧。
  3. ^ abc "Gavin Lowe".オックスフォード大学コンピュータサイエンス学部. 2018年2月10日閲覧。
  4. ^ ab 「OU Cave Club History」. www.oucc.org.uk . 2018年2月11日閲覧。
  5. ^ ab Lowe, Gavin (1994).時間制限付きCSPにおける確率と優先度(DPhil).オックスフォード大学.
  6. ^ 「ギャビン・ロウの出版物」オックスフォード大学。 2018年2月10日閲覧。
  7. ^ Lowe, Gavin (1995年11月). 「Needham-Schroeder公開鍵認証プロトコルへの攻撃」. Information Processing Letters . 56 (3): 131– 136. CiteSeerX 10.1.1.394.6094 . doi :10.1016/0020-0190(95)00144-2 . 2008年4月17日閲覧。 
  8. ^ 「暗号化は難しい」。
  9. ^ コンピュータセキュリティ、ESORICS 96：第4回ヨーロッパコンピュータセキュリティ研究シンポジウム、ローマ、イタリア、1996年9月25～27日：議事録。ベルティーノ、エリサ。ベルリン：シュプリンガー。1996年。ISBN 9783540617709OCLC  35364818 。{{cite book}}: CS1 メンテナンス: その他 (リンク)
  10. ^ 「Casper: セキュリティプロトコル分析用コンパイラ」オックスフォード大学. 2018年2月10日閲覧。
  11. ^ Armando, Alessandro; Lowe, Gavin (2010年3月27～28日). Armando, Alessandro; Lowe, Gavin (編).セキュリティプロトコル分析のための自動推論とセキュリティ理論における課題. コンピュータサイエンス講義ノート. 第6186巻. Springer. p. 185. Bibcode :2011LNCS.6186.....A. doi :10.1007/978-3-642-16074-5. ISBN 978-3-642-16073-8. S2CID  27746720。
  12. ^ 「官報第4857号補足(1)」(PDF) .オックスフォード大学. 2008年10月22日. p. 3. 2018年2月24日時点のオリジナル(PDF)からアーカイブ。 2018年2月11日閲覧。
  13. ^ ab 「官報第4931号、第141巻補足(1)」(PDF) .オックスフォード大学. 2010年10月27日 . 1ページ。
  14. ^ 「Teaching Excellence Awards 受賞者発表」オックスフォード大学コンピュータサイエンス学部. 2010年7月5日.
  15. ^ アリス・ライトン（2010年10月22日）「ニュース：新しい学位：私はプロセスする、ゆえに私は存在する」オックスフォード学生誌。
  16. ^ 「Gavin Lowe's Caving Page」 . 2018年2月10日閲覧。
「https://en.wikipedia.org/w/index.php?title=Gavin_Lowe_(computer_scientist)&oldid=1220473697」より取得