Matches in DBpedia 2014 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) 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) viafId "102382121".
- 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) wikiPageRevisionID "606224100".
- 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 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) 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.
- Cliff_Jones_(computer_scientist) subject Category:Living_people.
- Cliff_Jones_(computer_scientist) subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Cliff_Jones_(computer_scientist) type AcademicJournalEditors.
- Cliff_Jones_(computer_scientist) type Academician109759069.
- Cliff_Jones_(computer_scientist) type AcademicsOfNewcastleUniversity.
- Cliff_Jones_(computer_scientist) type Adult109605289.
- Cliff_Jones_(computer_scientist) type AlumniOfTheUniversityOfOxford.
- Cliff_Jones_(computer_scientist) type Alumnus109786338.
- Cliff_Jones_(computer_scientist) type Associate109816771.
- Cliff_Jones_(computer_scientist) type BritishComputerScientists.
- Cliff_Jones_(computer_scientist) type CausalAgent100007347.
- Cliff_Jones_(computer_scientist) type Colleague109935990.
- Cliff_Jones_(computer_scientist) type Communicator109610660.
- Cliff_Jones_(computer_scientist) type ComputerScienceWriters.
- Cliff_Jones_(computer_scientist) type ComputerScientist109951070.
- Cliff_Jones_(computer_scientist) type ComputerUser109951274.
- Cliff_Jones_(computer_scientist) type Editor110044879.
- Cliff_Jones_(computer_scientist) type Educator110045713.
- Cliff_Jones_(computer_scientist) type Employee110053808.
- Cliff_Jones_(computer_scientist) type FellowsOfTheAssociationForComputingMachinery.
- Cliff_Jones_(computer_scientist) type FellowsOfTheBritishComputerSociety.
- Cliff_Jones_(computer_scientist) type FellowsOfTheInstitutionOfEngineeringAndTechnology.
- Cliff_Jones_(computer_scientist) type FellowsOfTheRoyalAcademyOfEngineering.
- Cliff_Jones_(computer_scientist) type FormalMethodsPeople.
- Cliff_Jones_(computer_scientist) type IBMEmployees.
- Cliff_Jones_(computer_scientist) type Intellectual109621545.
- Cliff_Jones_(computer_scientist) type LivingPeople.
- Cliff_Jones_(computer_scientist) type LivingThing100004258.
- Cliff_Jones_(computer_scientist) type Object100002684.
- Cliff_Jones_(computer_scientist) type Organism100004475.
- Cliff_Jones_(computer_scientist) type Peer109626238.
- Cliff_Jones_(computer_scientist) type PeopleAssociatedWithTheUniversityOfManchester.
- Cliff_Jones_(computer_scientist) type Person100007846.
- Cliff_Jones_(computer_scientist) type PhysicalEntity100001930.
- Cliff_Jones_(computer_scientist) type Professional110480253.
- Cliff_Jones_(computer_scientist) type Scholar110557854.
- Cliff_Jones_(computer_scientist) type Scientist110560637.
- Cliff_Jones_(computer_scientist) type SkilledWorker110605985.
- Cliff_Jones_(computer_scientist) type Whole100003553.
- Cliff_Jones_(computer_scientist) type Worker109632518.
- Cliff_Jones_(computer_scientist) type Writer110794014.
- Cliff_Jones_(computer_scientist) type YagoLegalActor.
- Cliff_Jones_(computer_scientist) type YagoLegalActorGeo.
- Cliff_Jones_(computer_scientist) type Agent.
- Cliff_Jones_(computer_scientist) type Person.
- Cliff_Jones_(computer_scientist) type Scientist.
- Cliff_Jones_(computer_scientist) type Person.
- Cliff_Jones_(computer_scientist) type Scientist.
- Cliff_Jones_(computer_scientist) type Q215627.
- Cliff_Jones_(computer_scientist) type Q5.
- Cliff_Jones_(computer_scientist) type Agent.
- Cliff_Jones_(computer_scientist) type NaturalPerson.
- Cliff_Jones_(computer_scientist) type Thing.
- Cliff_Jones_(computer_scientist) type Person.
- Cliff_Jones_(computer_scientist) comment "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.".
- Cliff_Jones_(computer_scientist) label "Cliff Jones (computer scientist)".
- Cliff_Jones_(computer_scientist) sameAs m.07nqdg.