Cliff Jones (computer scientist)
id:
cliff-jones-computer-scientist-218-2782627
title:
Cliff Jones (computer scientist)
text:
Clifford "Cliff" B. 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. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method
brand slug:
wiki
category slug:
encyclopedia
description:
British computer scientist (born 1944)
original url:
https://en.wikipedia.org/wiki/Cliff_Jones_(computer_scientist)
date created:
2005-08-29T19:43:23Z
date modified:
2024-09-13T07:15:23Z
main entity:
{"identifier":"Q5132649","url":"https://www.wikidata.org/entity/Q5132649"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/d/d4/Cliff_Jones_Swansea.png","width":2675,"height":2128}
fields total:
13
integrity:
16