Charles Antony Richard Hoare

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Charles Antony Richard Hoare
britský informatik
britský informatik
Narodenie 11. január 1934 (82 rokov)
Kolombo, Srí Lanka
Odkazy
Commons Spolupracuj na Commons Charles Antony Richard Hoare

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.

Iné projekty[upraviť | upraviť zdroj]