跳至內容

比爾·羅斯科

維基百科,自由的百科全書
比爾·羅斯科
出生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)並且研究故障發散細化英語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.