Mathematician:Charles Antony Richard Hoare

From ProofWiki
Jump to navigation Jump to search

Mathematician

British mathematician and computer scientist best known for devising the Quicksort algorithm.


Nationality

British


History

  • Born: 11 January 1934 in Colombo, (British) Ceylon (now Sri Lanka)


Theorems

Definitions of concepts named for Charles Antony Richard Hoare can be found here.


Publications

  • 1971: Proof of a program: FIND (Commun. ACM Vol. 14: pp. 39 – 45)
  • 1972: Structured Programming (with O.-J. Dahl and E.W. Dijkstra)
  • 1985: Communicating Sequential Processes


Also known as

Sir Charles Antony Richard Hoare is otherwise known as C.A.R. Hoare or Tony Hoare.