French
Deutsch比尔·罗斯科 - 维基百科，自由的百科全书
| 比尔·罗斯科 | |
|---|---|
| 出生 | 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.