Professor Clifford "Cliff" Jones FACM FBCS FIET 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 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.
| Property | Value |
|---|
| p:abstract
| - Professor Clifford "Cliff" Jones FACM FBCS FIET 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 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. (en)
|
| p:hasPhotoCollection
| |
| rdfs:comment
| - Professor Clifford "Cliff" Jones FACM FBCS FIET 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 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. (en)
|
| rdfs:label
| - Cliff Jones (computer scientist) (en)
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpedia-owl:editor
of | |
| is p:editor
of | |
| is p:redirect
of | |
![[RDF Data]](http://dbpedia.org/statics/sw-cube.png)
