打开主菜单

安德鲁·威廉·"比尔"·罗斯科(Andrew William "Bill" Roscoe;1956年),是一个苏格兰计算机科学家。他在2004年至2014年间担任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。

比尔·罗斯科
出生 1956年(62-63歲)
苏格兰邓迪
国籍 苏格兰
公民权 英国
母校 牛津大学
知名于 交談循序程式
科学生涯
研究領域 计算机科学
机构 牛津大学
论文 A Mathematical Theory of Communicating Processes(1982)
博士導師 东尼·霍尔

罗斯科教授的研究领域是并发理论[1],特别是和東尼·霍爾一起研究用于构建Communicating Sequential Processes(CSP)的语义及其相关的occam programming language[2]。他和别人共同创建了正規系統(歐洲)有限公司(Formal Systems (Europe) Limited)并且研究故障發散細化英语Failures-Divergence_Refinement(FDR)工具的算法。

参考文献编辑

  1. ^ Bill Roscoe's publications indexed by the DBLP Bibliography Server at the University of Trier
  2. ^ Roscoe, A.W., Jones, C.B. and Wood, K. (eds.