TONY HOARE

(Sir Charles Antony Richard Hoare)


Popular Quotes

All 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.