Bill Roscoe
Encyclopedia
A. William "Bill" Roscoe is a Scottish computer scientist
. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow
of University College, Oxford
.
Professor Roscoe has undertaken important theoretical research work in the area of concurrency
, in particular the semantic underpinning of Communicating Sequential Processes
(CSP) and the associated occam programming language with Sir Tony Hoare
. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of University College, Oxford
University College, Oxford
.University College , is a constituent college of the University of Oxford in England. As of 2009 the college had an estimated financial endowment of £110m...
.
Professor Roscoe has undertaken important theoretical research work in the area of concurrency
Concurrency (computer science)
In computer science, concurrency is a property of systems in which several computations are executing simultaneously, and potentially interacting with each other...
, in particular the semantic underpinning of Communicating Sequential Processes
Communicating sequential processes
In computer science, Communicating Sequential Processes is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi...
(CSP) and the associated occam programming language with Sir Tony Hoare
C. A. R. Hoare
Sir Charles Antony Richard Hoare , commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development of Quicksort, one of the world's most widely used sorting algorithms...
. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.