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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:name |
|
| dc:description |
|
| alias |
|
| alma mater | |
| birth date |
|
| birth place | |
| birth year |
|
| doctoral advisor | |
| nationality | |
| is doctoral advisor of | |
| is doctoral student of | |
| is editor of |