Loading article…
ビル・ロスコー | |
|---|---|
| 生まれる | 1956年（67～68歳） |
| 国籍 | スコットランド |
| 市民権 | イギリス |
| 母校 | オックスフォード大学 |
| 知られている | 連続プロセスの通信 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | オックスフォード大学 |
| 論文 | コミュニケーションプロセスの数学的理論 (1982) |
| 博士課程の指導教員 | CARホーア[1] |
| 博士課程の学生 | G.マイク・リード[1] ギャビン・ロウ[2] |
アンドリュー・ウィリアム・ロスコーはスコットランドのコンピューター科学者です。2003年から2014年までオックスフォード大学コンピューターサイエンス学部長を務め、コンピューターサイエンスの教授でもありました。また、2024年までオックスフォード大学ユニバーシティ・カレッジのフェローでもありました。
教育とキャリア
ロスコーはスコットランドのダンディー生まれ。1975年から1978年までオックスフォード大学ユニバーシティ・カレッジで数学の学位を取得し、大学在学中トップの成績で卒業。その後コンピューティング研究所に勤務し、1982年に博士号を取得。1983年にユニバーシティ・カレッジのチュートリアル・フェローに任命され、1993年から1997年までシニアチューターを務めた。2003年から2008年および2009年から2014年までコンピュータサイエンス学科長を務めた。 [3] 2024年、コンピュータサイエンス学科の講堂がロスコーにちなんで名付けられた。[要出典]
研究
ロスコー教授は並行性理論の分野[4]、特に通信順次プロセス（CSP）の意味論的基盤と関連するオッカムプログラミング言語をトニー・ホーア卿とともに研究しています。[5]彼はフォーマルシステムズ（ヨーロッパ）リミテッドの共同設立者であり、失敗発散改良（FDR）ツールのアルゴリズムに取り組みました。
参考文献
- ^ ab 数学系譜プロジェクトのビル・ロスコー
- ^ Lowe, Gavin (1994).時間制限付き CSP における確率と優先度(DPhil).オックスフォード大学.
- ^ 「ビル・ロスコー」。コンピューターサイエンス学部。 2020年12月16日閲覧。
- ^ DBLP書誌サーバーの AW Roscoe
- ^ Roscoe, AW, Jones, CB、Wood, K.（編）、CAR Hoareの業績に関する考察。Springer。ISBN 978-1-84882-911-4 （ 2010年）。
外部リンク
- ビル・ロスコーのホームページ
- Google Scholarにインデックスされた Bill Roscoe の出版物
- 数学系譜プロジェクトのビル・ロスコー