A. William "Bill" Roscoe is Director of Oxford University Computing Laboratory 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.

PropertyValue
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:doctoralAdvisor
dbpprop:abstract
  • A. William "Bill" Roscoe is Director of Oxford University Computing Laboratory 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.
dbpprop:doctoralAdvisor
dbpprop:hasPhotoCollection
dbpprop:id
  • r/Roscoe:A=_W=
dbpprop:name
  • Bill Roscoe
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:workplaces
rdf:type
rdfs:comment
  • A. William "Bill" Roscoe is Director of Oxford University Computing Laboratory 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.
rdfs:label
  • Bill Roscoe
owl:sameAs
skos:subject
foaf:name
  • Bill Roscoe
foaf:page
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is owl:sameAs of