English Cliff Jones (computer scientist) Cited by user Tastarte on 18 Dec 2020 Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.