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 : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type:

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

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Homo sapiens Human Animal animal eukaryote scientist species schema:Person yago:WikicatLivingPeople yago:WikicatPeopleEducatedAtTheHighSchoolOfDundee yago:WikicatPeopleFromDundee yago:WikicatScottishComputerScientists yago:WikicatScottishScholarsAndAcademics Scientist yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAlumniOfUniversityCollege,Oxford yago:WikicatFellowsOfUniversityCollege,Oxford yago:WikicatFormalMethodsPeople umbel-rc:Scientist
rdfs:label	Bill Roscoe (en) Білл Роско (uk) 比尔·罗斯科 (zh)
rdfs:comment	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. (en) 安德鲁·威廉·"比尔"·罗斯科（Andrew William "Bill" Roscoe；1956年－），是一个苏格兰计算机科学家。他在2004年至2014年间担任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。罗斯科教授的研究领域是并发理论，特别是和東尼·霍爾一起研究用于构建通信顺序进程（CSP）的语义及其相关的occam programming language。他和别人共同创建了正規系統（歐洲）有限公司（Formal Systems (Europe) Limited）并且研究（FDR）工具的算法。 (zh) Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,, особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR). (uk)
foaf:name	Bill Roscoe (en)
name	Bill Roscoe (en)
birth place	Scotland Dundee
birth place	Scotland Dundee
dcterms:subject	Members of the Department of Computer Science, University of Oxford Living people 1956 births Alumni of University College, Oxford Fellows of University College, Oxford People educated at the High School of Dundee People from Dundee Scottish scholars and academics Formal methods people Scottish computer scientists
Wikipage page ID	1276676 (xsd:integer)
Wikipage revision ID	1064077370 (xsd:integer)
Link from a Wikipage to another Wikipage	Scotland Department of Computer Science, University of Oxford Members of the Department of Computer Science, University of Oxford University College, Oxford University of Oxford Living people Communicating Sequential Processes Gavin Lowe (computer scientist) Concurrency (computer science) Occam programming language Communicating sequential processes Computer science Computer scientist Fellow 1956 births Alumni of University College, Oxford Fellows of University College, Oxford People educated at the High School of Dundee People from Dundee Scottish scholars and academics G. Mike Reed Dundee Formal methods people Scottish computer scientists Failures-Divergence Refinement C. A. R. Hoare
Link from a Wikipage to an external page	http://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5 http://www.cs.ox.ac.uk/people/bill.roscoe/
sameAs	Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe Bill Roscoe

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software