Bill Roscoe とは

Andrew William "Bill" Roscoeはスコットランドのコンピュータ科学者です。 2003〜2014年にオックスフォード大学コンピュータサイエンス学科の所長を務め、コンピュータサイエンスの教授を務める。彼はまた、オックスフォード大学の大学のフェローです。
Roscoe教授は並行性理論の分野、特にコミュニケーションシーケンシャルプロセス(CSP)とTony Hoare卿と関連するoccamプログラミング言語のセマンティックな基盤について研究しています。 Formal Systems(Europe)Limitedを共同設立し、Failures-Divergence Refinement(FDR)ツールのアルゴリズムを開発しました。