Tony Hoare

«La semplicità è il prezzo inevitabile che dobbiamo pagare per l'affidabilità.»

Tony Hoare

Charles Antony Richard Hoare, detto Tony (Colombo, 11 gennaio 1934), è un informatico britannico.

Ha trovato larga fama grazie alla scoperta, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes (CSP) usato per specificare interazioni tra processi concorrenti.

  1. ^ (EN) Hoare Simplicity, su Glenn Vanderburg, 14 marzo 2016. URL consultato il 27 dicembre 2020.