DBpedia 2015-10

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Cliff_Jones_(computer_scientist)> ?p ?o }

Showing triples 1 to 100 of ±127 with 100 triples per page.

Cliff_Jones_(computer_scientist) abstract "This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).Clifford "Cliff" B. Jones (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. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna.He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computer science.".
Cliff_Jones_(computer_scientist) alias "Cliff Jones".
Cliff_Jones_(computer_scientist) almaMater University_of_Oxford.
Cliff_Jones_(computer_scientist) birthDate "1944-06-01".
Cliff_Jones_(computer_scientist) birthPlace United_Kingdom.
Cliff_Jones_(computer_scientist) birthYear "1944".
Cliff_Jones_(computer_scientist) doctoralAdvisor Tony_Hoare.
Cliff_Jones_(computer_scientist) nationality United_Kingdom.
Cliff_Jones_(computer_scientist) wikiPageExternalLink cliff.jones.
Cliff_Jones_(computer_scientist) wikiPageExternalLink home.formal.
Cliff_Jones_(computer_scientist) wikiPageExternalLink cliff.jones.
Cliff_Jones_(computer_scientist) wikiPageExternalLink byType.php?id=59.
Cliff_Jones_(computer_scientist) wikiPageID "2570173".
Cliff_Jones_(computer_scientist) wikiPageLength "5779".
Cliff_Jones_(computer_scientist) wikiPageOutDegree "55".
Cliff_Jones_(computer_scientist) wikiPageRevisionID "683314158".
Cliff_Jones_(computer_scientist) wikiPageWikiLink A.W._Roscoe.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Bill_Roscoe.
Cliff_Jones_(computer_scientist) wikiPageWikiLink C.A.R._Hoare.
Cliff_Jones_(computer_scientist) wikiPageWikiLink C._A._R._Hoare.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:1944_births.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Academic_journal_editors.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Academics_of_Newcastle_University.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Academics_of_the_University_of_Manchester.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Alumni_of_Wolfson_College,_Oxford.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Computer_science_writers.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:English_computer_scientists.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_Institution_of_Engineering_and_Technology.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_Royal_Academy_of_Engineering.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:IBM_employees.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Living_people.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Cliff_Jones.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Cliff_Jones_(disambiguation).
Cliff_Jones_(computer_scientist) wikiPageWikiLink Computer_scientist.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Dines_Bjørner.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Doctor_of_Philosophy.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Editor-in-Chief.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Editor-in-chief.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Formal_Aspects_of_Computing.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Formal_methods.
Cliff_Jones_(computer_scientist) wikiPageWikiLink History_of_computer_science.
Cliff_Jones_(computer_scientist) wikiPageWikiLink IBM.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Interdisciplinarity.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Interdisciplinary.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Lecture_Notes_in_Computer_Science.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Newcastle_University.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Oxford_University_Department_of_Computer_Science.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Paris.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Prentice_Hall.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Professor.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Springer_Science+Business_Media.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Tony_Hoare.
Cliff_Jones_(computer_scientist) wikiPageWikiLink United_Kingdom.
Cliff_Jones_(computer_scientist) wikiPageWikiLink University_of_Manchester.
Cliff_Jones_(computer_scientist) wikiPageWikiLink University_of_Oxford.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Vienna.
Cliff_Jones_(computer_scientist) wikiPageWikiLink Vienna_Development_Method.
Cliff_Jones_(computer_scientist) wikiPageWikiLinkText "Cliff Jones (computer scientist)".
Cliff_Jones_(computer_scientist) wikiPageWikiLinkText "Cliff Jones".
Cliff_Jones_(computer_scientist) wikiPageWikiLinkText "Jones, C.B.".
Cliff_Jones_(computer_scientist) almaMater University_of_Oxford.
Cliff_Jones_(computer_scientist) alternativeNames "Cliff Jones".
Cliff_Jones_(computer_scientist) birthDate "1944-06-01".
Cliff_Jones_(computer_scientist) dateOfBirth "1944-06-01".
Cliff_Jones_(computer_scientist) doctoralAdvisor C._A._R._Hoare.
Cliff_Jones_(computer_scientist) doctoralAdvisor Tony_Hoare.
Cliff_Jones_(computer_scientist) hasPhotoCollection Cliff_Jones_(computer_scientist).
Cliff_Jones_(computer_scientist) name "Cliff Jones".
Cliff_Jones_(computer_scientist) name "Jones, Clifford B.".
Cliff_Jones_(computer_scientist) nationality United_Kingdom.
Cliff_Jones_(computer_scientist) placeOfBirth United_Kingdom.
Cliff_Jones_(computer_scientist) shortDescription "Computer scientist".
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Infobox_scientist.
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Use_British_English.
Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Use_dmy_dates.
Cliff_Jones_(computer_scientist) workplaces Newcastle_University.
Cliff_Jones_(computer_scientist) workplaces University_of_Manchester.
Cliff_Jones_(computer_scientist) description "Computer scientist".
Cliff_Jones_(computer_scientist) description "Computer scientist".
Cliff_Jones_(computer_scientist) subject Category:1944_births.
Cliff_Jones_(computer_scientist) subject Category:Academic_journal_editors.
Cliff_Jones_(computer_scientist) subject Category:Academics_of_Newcastle_University.
Cliff_Jones_(computer_scientist) subject Category:Academics_of_the_University_of_Manchester.
Cliff_Jones_(computer_scientist) subject Category:Alumni_of_Wolfson_College,_Oxford.
Cliff_Jones_(computer_scientist) subject Category:Computer_science_writers.
Cliff_Jones_(computer_scientist) subject Category:English_computer_scientists.
Cliff_Jones_(computer_scientist) subject Category:Fellows_of_the_Association_for_Computing_Machinery.
Cliff_Jones_(computer_scientist) subject Category:Fellows_of_the_British_Computer_Society.
Cliff_Jones_(computer_scientist) subject Category:Fellows_of_the_Institution_of_Engineering_and_Technology.
Cliff_Jones_(computer_scientist) subject Category:Fellows_of_the_Royal_Academy_of_Engineering.
Cliff_Jones_(computer_scientist) subject Category:Formal_methods_people.
Cliff_Jones_(computer_scientist) subject Category:IBM_employees.