Informatico inglese, Tony Hoare ha fornito importanti contributi alla comprensione della logica dei programmi e dei linguaggi di programmazione.
Il suo metodo noto oggi come “logica di Hoare” permette agli sviluppatori di verificare la correttezza formale dei programmi. Ha anche sviluppato il linguaggio formale Communicating Sequential Processes (CSP) per formulare le specifiche delle interazioni dei processi concorrenti.
Tony Hoare è noto sopratutto per aver sviluppato l’algoritmo Quicksort, pubblicato nel 1961 ed ancora oggi fra i più utilizzati. Basato sulla recursione, è molto efficente per ordinare la sequenza dei record di un archivio.