比爾·羅斯科
| 比爾·羅斯科 | |
|---|---|
| 出生 | 1956年（67—68歲） 蘇格蘭鄧迪 |
| 國籍 | 蘇格蘭 |
| 公民權 | 英國 |
| 母校 | 牛津大學 |
| 知名於 | 通信順序進程 |
| 科學生涯 | |
| 研究領域 | 計算機科學 |
| 機構 | 牛津大學 |
| 論文 | A Mathematical Theory of Communicating Processes（1982） |
| 博士導師 | 東尼·霍爾 |
安德魯·威廉·"比爾"·羅斯科（Andrew William "Bill" Roscoe；1956年—），是一個蘇格蘭計算機科學家。他在2004年至2014年間擔任牛津大學計算機科學系主任和計算機科學教授。他也是牛津大學大學學院的研究員。
羅斯科教授的研究領域是並發理論[1]，特別是和東尼·霍爾一起研究用於構建通信順序進程（CSP）的語義及其相關的occam programming language[2]。他和別人共同創建了正規系統（歐洲）有限公司（Formal Systems (Europe) Limited）並且研究故障發散細化（FDR）工具的算法。
參考文獻
[編輯]- ^ Bill Roscoe's publications （頁面存檔備份，存於互聯網檔案館） indexed by the DBLP Bibliography Server at the University of Trier
- ^ Roscoe, A.W., Jones, C.B. and Wood, K. (eds.