Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Cliff_Jones_(computer_scientist)> ?p ?o }
- 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) almaMater University_of_Oxford.
- Cliff_Jones_(computer_scientist) birthDate "1944-06-01".
- 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 cliff.jones.
- Cliff_Jones_(computer_scientist) wikiPageExternalLink home.formal.
- Cliff_Jones_(computer_scientist) wikiPageExternalLink byType.php?id=59.
- Cliff_Jones_(computer_scientist) wikiPageID "2570173".
- Cliff_Jones_(computer_scientist) wikiPageLength "5479".
- Cliff_Jones_(computer_scientist) wikiPageOutDegree "54".
- Cliff_Jones_(computer_scientist) wikiPageRevisionID "705717169".
- Cliff_Jones_(computer_scientist) wikiPageWikiLink Bill_Roscoe.
- 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 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 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 Lecture_Notes_in_Computer_Science.
- Cliff_Jones_(computer_scientist) wikiPageWikiLink Newcastle_University.
- 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) birthDate "1944-06-01".
- Cliff_Jones_(computer_scientist) doctoralAdvisor Tony_Hoare.
- Cliff_Jones_(computer_scientist) name "Cliff Jones".
- Cliff_Jones_(computer_scientist) nationality United_Kingdom.
- Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Birth_date_and_age.
- Cliff_Jones_(computer_scientist) wikiPageUsesTemplate Template:Infobox_scientist.
- 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) 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.
- Cliff_Jones_(computer_scientist) subject Category:Living_people.
- Cliff_Jones_(computer_scientist) subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Cliff_Jones_(computer_scientist) type Agent.
- Cliff_Jones_(computer_scientist) type List.
- Cliff_Jones_(computer_scientist) type Person.
- Cliff_Jones_(computer_scientist) type Scientist.
- Cliff_Jones_(computer_scientist) type Writer.
- Cliff_Jones_(computer_scientist) type Person.
- Cliff_Jones_(computer_scientist) type Designer.
- Cliff_Jones_(computer_scientist) type Editor.
- Cliff_Jones_(computer_scientist) type Employee.
- Cliff_Jones_(computer_scientist) type List.
- Cliff_Jones_(computer_scientist) type Member.
- Cliff_Jones_(computer_scientist) type Method.
- Cliff_Jones_(computer_scientist) type Scientist.
- Cliff_Jones_(computer_scientist) type Writer.
- Cliff_Jones_(computer_scientist) type Agent.
- Cliff_Jones_(computer_scientist) type NaturalPerson.
- Cliff_Jones_(computer_scientist) type Thing.