Bill Roscoe

URI: https://gptkb.org/entity/Bill_Roscoe
GPTKB entity
Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Oxford
gptkbp:awardReceived gptkb:Fellow_of_the_British_Computer_Society
Fellow of the Royal Academy of Engineering
gptkbp:birthName gptkb:A._William_Roscoe
gptkbp:dateOfBirth 1956
gptkbp:doctoralAdvisor gptkb:C._A._R._Hoare
gptkbp:fieldOfWork computer science
concurrency
formal verification
https://www.w3.org/2000/01/rdf-schema#label Bill Roscoe
gptkbp:knownFor gptkb:Communicating_Sequential_Processes_(CSP)
formal methods
concurrency theory
gptkbp:nationality British
gptkbp:notablePublication gptkb:The_Theory_and_Practice_of_Concurrency
Understanding Concurrent Systems
gptkbp:notableStudent gptkb:Steve_Schneider
gptkb:Joel_Ouaknine
gptkbp:occupation gptkb:computer_scientist
gptkbp:positionHeld Fellow of University College, Oxford
Head of Department, Department of Computer Science, University of Oxford
gptkbp:workInstitution gptkb:University_of_Oxford
gptkb:Department_of_Computer_Science,_University_of_Oxford
gptkbp:bfsParent gptkb:Oxford_University_Computing_Laboratory
gptkbp:bfsLayer 5