Tony Hoare Quotes


An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship with the human mind.


Citations

Hoare, C. A. R. "Grand Challenges for Computing Research." The Computer Journal, vol. 46, no. 1, Oxford University Press, 2003, p. 22.

Related Quotes

Tony Hoare
Tony Hoare
  • Born: January 11, 1934
  • Nationality: British
  • Profession: Scientist

Sir Charles Antony Richard Hoare FRS FREng is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the programming language occam.