Cliff Jones (computer scientist)

Cliff Jones (computer scientist)
This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).
Cliff Jones
Born 1 June 1944 (1944-06-01) (age 67)
Nationality British
Institutions University of Manchester
Newcastle University
Alma mater University of Oxford
Doctoral advisor C. A. R. Hoare

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 under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna.

He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.

As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computer science.[1][2]

Books

Jones has authored and edited many books:[3]

References

  1. ^ Cliff B. Joens bibliography in the DBLP database.
  2. ^ Cliff B. Jones: Publication List, Scientific Commons.
  3. ^ Books › "Cliff B. Jones", Amazon.co.uk.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Cliff Jones — is the name of: 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… …   Wikipedia

  • John Fitzgerald (computer scientist) — John Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK where he works as a member of the [http://www.csr.ncl.ac.uk/ Centre for… …   Wikipedia

  • List of people with surname Jones — Jones is a surname common in the English speaking world. This list provides links to biographies of people who share this common surname.Arts and entertainmentArchitecture*Inigo Jones (1573 1652), English architect of Welsh descentActing*Bruce… …   Wikipedia

  • List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …   Wikipedia

  • List of Newcastle University people — This article is a list of people who spent time at Newcastle University, Newcastle upon Tyne, UK, as either a student or teacher. This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help… …   Wikipedia

  • Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School …   Wikipedia

  • Dines Bjørner — Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods.[1] He worked with Cliff Jones and others on the Vienna… …   Wikipedia

  • List of University of Southern California people — This is a list of notable alumni, faculty, and students, from the University of Southern California. For individual who qualify for multiple categories, they have been placed under the section for which they are best known. Alumni and… …   Wikipedia

  • List of Australian National University people — The Australian National University has had numerous notable alumni and faculty. Contents 1 Notable alumni 1.1 Politics and government 2 Notable past and present staff 3 Adm …   Wikipedia

  • List of Scouts — This is a list of famous Scouts and Scouters.AfricaGhana*Hon. Nana Amanfi III CBE, Omanhene (Paramount Chief) of Asebu Statecite news| title =World Scout @100 Ghana Scout Celebrates!!! | language =English | publisher =Modern Ghana Ltd | date… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”