Charles Antony Richard Hoare (1934–2026), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, var en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort." Han utviklet også Hoares logikk for å verifisere programmers korrekthet, og det formelle programmeringsspråket Communicating sequential processes (CSP) for å spesifisere interaksjoner mellom parallelle prosesser (deriblant de spisende flosofers problem) og var inspirasjon for programmeringsspråket occam.Antony Hoare , Computerhistory.orgC. A. R. Hoare, ACM Digital LibraryList of publications, from Microsoft Academic Search
Utmerkelser 60px – Knight Bachelor, med tiltaleform sir (2000) 60px – Kyotoprisen (2000, Japan) Hoare mottok en rekke akademiske medlemskap, æresdoktortitler og priser for sitt virke, blant annet Turing-prisen, Harry H. Goode Memorial Award, Faradaymedaljen, Computer Pioneer Award, John von Neumann-medaljen og Royal Medal.
Referanser
Eksterne lenker
Kategori:Informatikere Kategori:Personer fra Colombo Kategori:Knights Bachelor