Search results
May 1, 2024 · Tony Hoare (born January 11, 1934, Colombo, Sri Lanka) is a British computer scientist and winner of the 1980 A.M. Turing Award, the highest honour in computer science, for “his fundamental contributions to the definition and design of programming languages.”
Sir Charles Antony Richard Hoare FRS FREng, also known as Tony Hoare or by his initials C. A. R. Hoare (/ h ɔːr /; 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.
C.A.R (Tony) Hoare: a brief biography and his technical contributions.
Apart from the Turing Prize, Tony Hoare was awarded the Kyoto Prize in 2000, the year he was also Knighted by the Queen for services to education and computer science. He has honorary Doctorates from several universities and is a Fellow of both The Royal Society and The Royal Academy of Engineering.
Biography. Sir Charles Antony Richard Hoare is a British computer scientist who recieved the ACM Turing Award for "his fundamental contributions to the definition and design of programming languages." Achievements. Implementation of the first compiler for Algol 60 at Elliott Brothers.
Home. ACM Books. Theories of Programming: The Life and Works of Tony HoareOctober 2021. Editors: Cliff B. Jones, Jayadev Misra. Publisher: Association for Computing Machinery. New York. NY. United States. ISBN: 978-1-4503-8728-6. DOI: https://doi.org/10.1145/3477355. Published: 02 October 2021. Pages: 450. Appears In: ACM Books.
His achievements include developing one of the world’s most popular sorting algorithms, Quicksort; introducing ‘Hoare logic’, which allows software engineers to check that a program behaves as intended; and developing the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes.
