比爾·羅斯科

安德魯 · 威廉 · " 比爾 " · 羅斯科 （ Andrew William " Bill " Roscoe ； ） ， 是一個蘇格蘭計算機科學家 。 他在2004年至2014年間擔任牛津大學計算機科學系主任和計算機科學教授 。 他也是牛津大學大學學院的研究員 。 羅斯科教授的研究領域是併發理論 ， 特別是和東尼 · 霍爾一起研究用於構建通信順序進程 （ CSP ） 的語義及其相關的occam programming language 。 他和別人共同創建了正規系統 （ 歐洲 ） 有限公司 （ Formal Systems ( Europe ) Limited ） 並且研究 （ FDR ） 工具的算法 。