Otvoriť hlavné menu

Charles Antony Richard Hoare (* 11. január 1934, Kolombo, Srí Lanka) je britský informatik. Je známy predovšetkým ako tvorca triediaceho algoritmu Quicksort. Vyvinul tiež tzv. Hoareovu logiku, ktorá sa používa pri verifikácii správnosti programov a formálny jazyk Communicating sequential processes (CSP), ktorý sa využíva na popis interakcií konkurentných procesov (ako napríklad problém obedujúcich filozofov). V roku 1980 dostal Turingovu cenu za prínos v oblasti špecifikácie a návrhu programovacích jazykov.

Charles Antony Richard Hoare
britský informatik
britský informatik
Narodenie11. január 1934 (85 rokov)
Kolombo, Srí Lanka
Odkazy
CommonsSpolupracuj na Commons Charles Antony Richard Hoare

Iné projektyUpraviť