Tony Hoare Quote
Related Quotes
Certainly we can say that the pace of modern life, increased and supported by our technology in general and our personal electronics in particular, has resulted in a short attention span and an addict...
Arthur Rosenfeld
Tags:
being, complicated, critical thinking, daoism, emotion, feeling, hectic, life, meditation, modern life
About Tony Hoare
Sir Charles Antony Richard Hoare , also known as Tony Hoare or by his initials C. A. R. Hoare (; born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.
Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.