比爾·羅斯科

安德魯·威廉·"比爾"·羅斯科（Andrew William "Bill" Roscoe；1956年—），是一個蘇格蘭計算機科學家。他在2004年至2014年間擔任牛津大學計算機科學系主任和計算機科學教授。他也是牛津大學大學學院的研究員。

比爾·羅斯科
出生	1956年（67—68歲） 蘇格蘭鄧迪
國籍	蘇格蘭
公民權	英國
母校	牛津大學
知名於	通信順序進程
科學生涯
研究領域	計算機科學
機構	牛津大學
論文	A Mathematical Theory of Communicating Processes（1982）
博士導師	東尼·霍爾

羅斯科教授的研究領域是並發理論^[1]，特別是和東尼·霍爾一起研究用於構建通信順序進程（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.