1 quote

C. A. R. Hoare

1934 - 2024

C. A. R. Hoare, born in 1934, is a British computer scientist recognized for his significant contributions to programming language design and software engineering. He is best known for developing the Quicksort algorithm and for his work on formal verification and the concept of Hoare logic, which laid foundational principles in the field of computer science. Hoare has received numerous accolades, including the Turing Award in 1980 for his pioneering work.