Cliff Jones (computer scientist)
(1944-)
British computer scientist
About
Jump to
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.
Key details
edit section
| Born |
1 June 1944 (age 81)
|
| Zodiac | Gemini |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Scholars
Please be the first to contribute to this page!
Missing information for Cliff Jones (computer scientist)
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add profile photo
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
10
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
