How to Pronounce Cliff Jones (computer scientist)
#20
Most Popular
Boost
Jun 01, 1944 79 years old
computer scientist
GeminiCliff Jones Computer Scientist - Place of Birth, Date of Birth, Age, Wiki, Facts, Net Worth, Birthday, Biography and Family
Cliff Jones Computer Scientist, Date of Birth, Place of Birth, Family, Facts, Age, Net Worth, Biography and More in FamedBorn.com
About Cliff Jones Computer Scientist
- 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.
- He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University.
- He has been Editor-in-Chief of the Formal Aspects of Computing journal.As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.
