About: Cliff Jones (computer scientist)

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

British computer scientist

Property	Value
dbo:almaMater	dbr:University_of_Oxford
dbo:birthDate	1944-06-01 (xsd:date)
dbo:description	дослідник (uk) 研究者 (zh) British computer scientist (en) հետազոտող (hy) informático teórico del Reino Unido (es) ríomheolaí Briotanach (ga) Brits informaticus (nl) informaticien britannique (fr) Forscher (de)
dbo:doctoralAdvisor	dbr:Tony_Hoare
dbo:doctoralStudent	dbr:Tobias_Nipkow dbr:John_Fitzgerald_(computer_scientist)
dbo:institution	dbr:Newcastle_University dbr:Victoria_University_of_Manchester dbr:IBM_Laboratory_Vienna
dbo:knownFor	dbr:Vienna_Development_Method
dbo:nationality	dbr:United_Kingdom
dbo:thumbnail	wiki-commons:Special:FilePath/Cliff_Jones_Swansea.png?width=300
dbo:wikiPageExternalLink	http://homepages.cs.ncl.ac.uk/cliff.jones/
dbo:wikiPageWikiLink	dbr:Tobias_Nipkow dbr:Newcastle_University dbr:Formal_methods dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbr:University_of_Oxford dbr:Professor dbr:Tony_Hoare dbr:Victoria_University_of_Manchester dbr:Lecture_Notes_in_Computer_Science dbr:Formal_Aspects_of_Computing dbr:Dines_Bjørner dbc:1944_births dbc:English_computer_scientists dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Living_people dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbr:Paris dbr:United_Kingdom dbr:Vienna_Development_Method dbr:Springer_Nature dbr:History_of_computer_science dbc:Academics_of_the_Victoria_University_of_Manchester dbc:Computer_science_writers dbc:Formal_methods_people dbc:IBM_employees dbr:Springer_Science+Business_Media dbc:Academic_journal_editors dbc:Academics_of_Newcastle_University dbr:IBM dbr:Computer_scientist dbr:Hoare_logic dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Prentice_Hall dbr:Doctor_of_Philosophy dbr:Interdisciplinary dbc:Alumni_of_Wolfson_College,_Oxford dbr:Editor-in-chief dbr:John_Fitzgerald_(computer_scientist) dbr:Peter_Lucas_(computer_scientist) dbr:C._A._R._Hoare dbr:IBM_Laboratory_Vienna dbr:C.A.R._Hoare dbr:A.W._Roscoe dbr:Oxford_University_Department_of_Computer_Science
dbp:almaMater	dbr:University_of_Oxford
dbp:birthDate	1944-06-01 (xsd:date)
dbp:caption	Cliff Jones in Swansea (en)
dbp:doctoralAdvisor	dbr:Tony_Hoare
dbp:doctoralStudents	dbr:Tobias_Nipkow dbr:John_Fitzgerald_(computer_scientist)
dbp:knownFor	dbr:Vienna_Development_Method
dbp:name	Cliff Jones (en)
dbp:nationality	dbr:United_Kingdom
dbp:thesisTitle	Development Methods for Computer Programs Including a Notion of Interference (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Use_British_English dbt:Use_dmy_dates dbt:ISBN dbt:Post-nominals dbt:Google_scholar_id dbt:About_other_people dbt:Short_description
dbp:workplaces	dbr:Newcastle_University dbr:Victoria_University_of_Manchester dbr:IBM_Laboratory_Vienna
dct:subject	dbc:1995_fellows_of_the_Association_for_Computing_Machinery dbc:British_academic_journal_editors dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbc:1944_births dbc:English_computer_scientists dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Living_people dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:Academics_of_the_Victoria_University_of_Manchester dbc:Computer_science_writers dbc:Formal_methods_people dbc:IBM_employees dbc:Academics_of_Newcastle_University dbc:Alumni_of_Wolfson_College,_Oxford
schema:sameAs	http://viaf.org/viaf/80936003
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Species schema:Person umbel-rc:Scientist
rdfs:label	Cliff Jones (computer scientist) (en) Cliff Jones (informático) (es)
owl:sameAs	yago-res:Cliff Jones (computer scientist) freebase:Cliff Jones (computer scientist) http://viaf.org/viaf/102382121 http://viaf.org/viaf/80936003 wikidata:Cliff Jones (computer scientist) dbpedia-es:Cliff Jones (computer scientist) https://orcid.org/0000-0002-0038-6623 http://d-nb.info/gnd/1048142760 http://d-nb.info/gnd/112943748 http://d-nb.info/gnd/172171075 https://dblp.org/pid/j/CliffBJones dbpedia-mg:Cliff Jones (computer scientist) http://data.bibliotheken.nl/id/thes/p100901085 dbpedia-global:Cliff Jones (computer scientist) dbr:Cliff Jones (computer scientist)
prov:wasDerivedFrom	wikipedia-en:Cliff_Jones_(computer_scientist)?oldid=1245482127&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Cliff_Jones_Swansea.png
foaf:isPrimaryTopicOf	wikipedia-en:Cliff_Jones_(computer_scientist)
foaf:name	Cliff Jones (en)
is dbo:doctoralAdvisor of	dbr:Tobias_Nipkow dbr:Nobuko_Yoshida
is dbo:doctoralStudent of	dbr:Tony_Hoare
is dbo:editor of	dbr:Formal_Aspects_of_Computing
is dbo:wikiPageDisambiguates of	dbr:Cliff_Jones
is dbo:wikiPageRedirects of	dbr:C._B._Jones dbr:C._B._Jones dbr:Cliff_B._Jones dbr:Cliff_B._Jones dbr:C.B._Jones
is dbo:wikiPageWikiLink of	dbr:Nobuko_Yoshida dbr:Tony_Hoare dbr:Formal_Aspects_of_Computing dbr:Cliff_Jones dbr:Dines_Bjørner dbr:Refinement_(computing) dbr:Vienna_Development_Method dbr:Jonathan_Bowen dbr:List_of_people_with_surname_Jones dbr:List_of_University_of_Manchester_people dbr:List_of_people_from_the_University_of_Oxford_in_academic_disciplines dbr:List_of_programming_language_researchers dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:Meta-IV_(specification_language) dbr:List_of_computer_scientists dbr:John_Fitzgerald_(computer_scientist) dbr:BCS-FACS dbr:IFIP_Working_Group_2.3 dbr:Interference_freedom dbr:List_of_Newcastle_University_people dbr:IBM_Laboratory_Vienna dbr:C._B._Jones dbr:Cliff_B._Jones dbr:C.B._Jones
is dbp:candidate of	dbr:1992_Texas_general_election
is dbp:doctoralAdvisor of	dbr:Tobias_Nipkow
is dbp:editor of	dbr:Formal_Aspects_of_Computing
is foaf:primaryTopic of	wikipedia-en:Cliff_Jones_(computer_scientist)