About: Cliff Jones (computer scientist)

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

About: Cliff Jones (computer scientist) Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : el.dbpedia.org associated with source document(s)

Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.

Attributes	Values
rdf:type	Thing person scientist animal eukaryote species dul:NaturalPerson foaf:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 umbel-rc:Scientist
rdfs:label	Cliff Jones (computer scientist) (en)
rdfs:comment	Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science. (en)
sameAs	Cliff Jones (computer scientist) Cliff Jones (computer scientist) Cliff Jones (computer scientist)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date_and_age dbt:ISBN dbt:Post-nominals dbt:Reflist dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates dbt:Google_scholar_id dbt:Infobox_scientist dbt:About_other_people
Subject	1944 births Academic journal editors Academics of Newcastle University Academics of the Victoria University of Manchester Alumni of Wolfson College, Oxford Computer science writers English computer scientists Fellows of the Association for Computing Machinery Fellows of the British Computer Society Fellows of the Royal Academy of Engineering Formal methods people IBM employees Living people Members of the Department of Computer Science, University of Oxford Fellows of the Institution of Engineering and Technology
Link from a Wikipage to an external page	http://homepages.cs.ncl.ac.uk/cliff.jones/
birth date	1944-06-01 (xsd:date)
foaf:name	Cliff Jones (en)
schema:sameAs	http://viaf.org/viaf/80936003
doctoral advisor	Tony Hoare
doctoral student	Tobias Nipkow John Fitzgerald (computer scientist)
institution	Victoria University of Manchester Newcastle University IBM Laboratory Vienna
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Cliff_Jones_(computer_scientist)?oldid=1070959638&ns=0
Wikipage page ID	2570173 (xsd:integer)
page length (characters) of wiki page	7689 (xsd:nonNegativeInteger)
Wikipage revision ID	1070959638 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal Aspects of Computing Formal methods Professor United Kingdom Victoria University of Manchester Vienna Development Method Bill Roscoe University of Oxford 1944 births Academic journal editors Academics of Newcastle University Academics of the Victoria University of Manchester Alumni of Wolfson College, Oxford Computer science writers English computer scientists Fellows of the Association for Computing Machinery Fellows of the British Computer Society Fellows of the Royal Academy of Engineering Formal methods people IBM employees Living people Members of the Department of Computer Science, University of Oxford Dines Bjørner Doctor of Philosophy History of computer science Peter Lucas (computer scientist) Department of Computer Science, University of Oxford Prentice Hall Springer Nature Springer Science+Business Media Tobias Nipkow Computer scientist Editing Hoare logic John Fitzgerald (computer scientist) Newcastle University Paris IBM IBM Laboratory Vienna Interdisciplinarity

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 885 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software