Date of Birth
|
11-January-1934
|
Place of Birth
|
Colombo
(Colombo District, Sri Lanka)
|
Nationality
|
United Kingdom
|
Also know as
|
Sir Charles Antony Richard Hoare, Charles Antony Richard Hoare
|
Profession
|
Scientist, Computer Scientist
|
Sir Charles Antony Richard Hoare FRS FREng, commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1960. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes to specify the interactions of concurrent processes and the inspiration for the occam programming language.
|