4-848: Cliff or Clifford Jones may refer to: Cliff Jones (computer scientist) (born 1944), British computer scientist Cliff Jones (English footballer) , footballer for Gainsborough Trinity and Burnley Cliff Jones (Welsh footballer) (born 1935), Wales international footballer Cliff Jones (rugby union) (1914–1990), Wales rugby international captain Cliff Jones (musician) (born 1968), British music producer and lead singer of Gay Dad Clifford A. Jones (1912–2001), Lieutenant Governor of Nevada Clifford L. Jones (1927–2008), Pennsylvania Republican Party chairman A. Clifford Jones (1921–1996), American politician in Missouri [REDACTED] Topics referred to by
8-767: Is different from Wikidata All article disambiguation pages All disambiguation pages Cliff Jones (computer scientist) Clifford "Cliff" B. Jones 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 (now the Oxford University Department of Computer Science ) 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
12-612: The Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas , Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for
16-405: The same term This disambiguation page lists articles about people with the same name. If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=Cliff_Jones&oldid=1005623947 " Category : Human name disambiguation pages Hidden categories: Short description
#229770