Clifford "Cliff" Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory 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.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1944-06-01 (xsd:date)
dbpedia-owl:Person/nationality
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1944-06-01 (xsd:date)
dbpedia-owl:doctoralAdvisor
dbpedia-owl:nationality
dbpprop:abstract
  • Clifford "Cliff" Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory 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.
dbpprop:almaMater
dbpprop:birthDate
dbpprop:doctoralAdvisor
dbpprop:hasPhotoCollection
dbpprop:name
  • Cliff Jones
dbpprop:nationality
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:workplaces
rdf:type
rdfs:comment
  • Clifford "Cliff" Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory 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.
rdfs:label
  • Cliff Jones (computer scientist)
owl:sameAs
skos:subject
foaf:homepage
foaf:name
  • Cliff Jones
foaf:page
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is dbpprop:redirect of