About: Bill Roscoe

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Bill Roscoe Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q24229398, within Data Space : dbpedia-live.openlinksw.com associated with source document(s)

Type:

http://dbpedia-live.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FBill_Roscoe

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.

Attributes	Values
rdf:type	schema:Person dul:Agent dul:NaturalPerson Person wikidata:Q5 wikidata:Q901 foaf:Person Thing agent person scientist umbel-rc:Scientist yago:ScottishComputerScientists yago:ScottishScholarsAndAcademics yago:PeopleEducatedAtTheHighSchoolOfDundee yago:PeopleFromDundee yago:YagoLegalActor yago:LivingPeople yago:ComputerUser109951274 yago:FellowsOfUniversityCollege,Oxford yago:FormalMethodsPeople yago:PhysicalEntity100001930 yago:AlumniOfUniversityCollege,Oxford yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:YagoLegalActorGeo wikidata:Q24229398
sameAs	Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe
foaf:isPrimaryTopicOf	wikipedia-en:Bill_Roscoe
foaf:name	Bill Roscoe
rdfs:comment	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. Andrew William 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. Andrew William 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.
rdfs:label	Bill Roscoe
has 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. Andrew William 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. Andrew William 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.
academic discipline	Computer science
alma mater	Oxford University
birth place	Scotland Dundee
doctoral advisor	C. A. R. Hoare
doctoral student	G. Mike Reed Gavin Lowe (computer scientist)
institution	Oxford University
known for	Communicating sequential processes
Link to the Wikipage edit URL	http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&action=edit
Link from a Wikipage to an external page	http://www.cs.ox.ac.uk/people/bill.roscoe/ http://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
extraction datetime	2019-06-08 08:24:57Z(xsd:dateTime) 2020-10-11 13:45:26Z(xsd:dateTime) 2020-12-16 22:07:27Z(xsd:dateTime) 2021-01-17 18:05:40Z(xsd:dateTime)
Link to the Wikipage history URL	http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&action=history
Wikipage page ID	1276676(xsd:integer)
page length (characters) of wiki page	3093(xsd:integer) 3132(xsd:integer) 3855(xsd:integer)
Wikipage modification datetime	2018-04-21 19:31:59Z(xsd:dateTime) 2020-10-11 13:45:19Z(xsd:dateTime) 2020-12-16 22:07:21Z(xsd:dateTime) 2021-01-17 18:05:33Z(xsd:dateTime)
Wiki page out degree	27(xsd:integer) 29(xsd:integer)
Wikipage revision ID	837586810(xsd:integer) 982971000(xsd:integer) 994665151(xsd:integer) 1000983717(xsd:integer)
Link to the Wikipage revision URL	http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&oldid=837586810 http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&oldid=982971000 http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&oldid=994665151 http://en.wikipedia.org/w/index.php?title=Bill_Roscoe&oldid=1000983717
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_year_and_age dbt:GoogleScholar dbt:Infobox_scientist dbt:MathGenealogy dbt:Reflist dbt:Use_dmy_dates dbt:Compu-bio-stub dbt:Scotland-scientist-stub dbt:Scotland-academic-bio-stub
dct:subject	People educated at the High School of Dundee 1956 births

Faceted Search & Find service v1.17_git39 as of Aug 10 2019

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3319 as of Sep 1 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software