Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bill_Roscoe> ?p ?o }
- Bill_Roscoe abstract "Andrew William "Bill" Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford.Professor Roscoe works in the area of concurrency theory, 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.".
- Bill_Roscoe alias "Roscoe, A. William".
- Bill_Roscoe almaMater University_of_Oxford.
- Bill_Roscoe birthDate "1956".
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe birthYear "1956".
- Bill_Roscoe doctoralAdvisor Tony_Hoare.
- Bill_Roscoe field Computer_science.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Bill_Roscoe wikiPageExternalLink uuid:ed4e2289-f817-4851-868a-00e2c4f48db5.
- Bill_Roscoe wikiPageExternalLink www.cs.ox.ac.uk.
- Bill_Roscoe wikiPageExternalLink bill.roscoe.
- Bill_Roscoe wikiPageID "1276676".
- Bill_Roscoe wikiPageLength "3123".
- Bill_Roscoe wikiPageOutDegree "27".
- Bill_Roscoe wikiPageRevisionID "654036260".
- Bill_Roscoe wikiPageWikiLink C._A._R._Hoare.
- Bill_Roscoe wikiPageWikiLink Category:1956_births.
- Bill_Roscoe wikiPageWikiLink Category:Alumni_of_University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:Fellows_of_University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:Formal_methods_people.
- Bill_Roscoe wikiPageWikiLink Category:Living_people.
- Bill_Roscoe wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:People_educated_at_the_High_School_of_Dundee.
- Bill_Roscoe wikiPageWikiLink Category:People_from_Dundee.
- Bill_Roscoe wikiPageWikiLink Category:Scottish_computer_scientists.
- Bill_Roscoe wikiPageWikiLink Category:Scottish_scholars_and_academics.
- Bill_Roscoe wikiPageWikiLink Communicating_Sequential_Processes.
- Bill_Roscoe wikiPageWikiLink Communicating_sequential_processes.
- Bill_Roscoe wikiPageWikiLink Computer_science.
- Bill_Roscoe wikiPageWikiLink Computer_scientist.
- Bill_Roscoe wikiPageWikiLink Concurrency_(computer_science).
- Bill_Roscoe wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe wikiPageWikiLink Dundee.
- Bill_Roscoe wikiPageWikiLink FDR2.
- Bill_Roscoe wikiPageWikiLink Failures-Divergence_Refinement.
- Bill_Roscoe wikiPageWikiLink Fellow.
- Bill_Roscoe wikiPageWikiLink Occam_(programming_language).
- Bill_Roscoe wikiPageWikiLink Occam_programming_language.
- Bill_Roscoe wikiPageWikiLink Oxford_University.
- Bill_Roscoe wikiPageWikiLink Scotland.
- Bill_Roscoe wikiPageWikiLink Tony_Hoare.
- Bill_Roscoe wikiPageWikiLink University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink University_of_Oxford.
- Bill_Roscoe wikiPageWikiLinkText "A. W. Roscoe".
- Bill_Roscoe wikiPageWikiLinkText "Bill Roscoe".
- Bill_Roscoe almaMater "Oxford University".
- Bill_Roscoe alternativeNames "Roscoe, A. William".
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe citizenship "United Kingdom".
- Bill_Roscoe dateOfBirth "1956".
- Bill_Roscoe doctoralAdvisor C._A._R._Hoare.
- Bill_Roscoe doctoralAdvisor Tony_Hoare.
- Bill_Roscoe fields Computer_science.
- Bill_Roscoe hasPhotoCollection Bill_Roscoe.
- Bill_Roscoe knownFor Communicating_Sequential_Processes.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Bill_Roscoe name "Bill Roscoe".
- Bill_Roscoe name "Roscoe, Bill".
- Bill_Roscoe nationality "Scottish".
- Bill_Roscoe placeOfBirth Dundee.
- Bill_Roscoe placeOfBirth Scotland.
- Bill_Roscoe shortDescription "Computer scientist".
- Bill_Roscoe thesisTitle "A Mathematical Theory of Communicating Processes".
- Bill_Roscoe thesisUrl uuid:ed4e2289-f817-4851-868a-00e2c4f48db5.
- Bill_Roscoe thesisYear "1982".
- Bill_Roscoe wikiPageUsesTemplate Template:Compu-bio-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Infobox_scientist.
- Bill_Roscoe wikiPageUsesTemplate Template:Persondata.
- Bill_Roscoe wikiPageUsesTemplate Template:Reflist.
- Bill_Roscoe wikiPageUsesTemplate Template:Scotland-academic-bio-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Scotland-scientist-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Use_dmy_dates.
- Bill_Roscoe workplaces Oxford_University.
- Bill_Roscoe workplaces University_of_Oxford.
- Bill_Roscoe description "Computer scientist".
- Bill_Roscoe description "Computer scientist".
- Bill_Roscoe subject Category:1956_births.
- Bill_Roscoe subject Category:Alumni_of_University_College,_Oxford.
- Bill_Roscoe subject Category:Fellows_of_University_College,_Oxford.
- Bill_Roscoe subject Category:Formal_methods_people.
- Bill_Roscoe subject Category:Living_people.
- Bill_Roscoe subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe subject Category:People_educated_at_the_High_School_of_Dundee.
- Bill_Roscoe subject Category:People_from_Dundee.
- Bill_Roscoe subject Category:Scottish_computer_scientists.
- Bill_Roscoe subject Category:Scottish_scholars_and_academics.
- Bill_Roscoe hypernym Scientist.
- Bill_Roscoe type Agent.
- Bill_Roscoe type List.
- Bill_Roscoe type Person.
- Bill_Roscoe type Scientist.
- Bill_Roscoe type Writer.
- Bill_Roscoe type Educator.
- Bill_Roscoe type List.
- Bill_Roscoe type Member.
- Bill_Roscoe type Method.
- Bill_Roscoe type Scholar.