Tony Hoare

Charles Antony Richard Hoare (født 11. januar 1934), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er 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 har også utviklet 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

Referanser

Kategori:Informatikere
Kategori:Personer fra Colombo
Kategori:Fødsler i 1934