Tony Hoare
From Wikipedia, the free encyclopedia
Ser Čarls Entoni Ričard Hor (engl. ; 11. januar 1934.) je britanski naučnik koji je poznat je kao tvorac kviksorta, jednog od najpoznatijih algoritama za sortiranje. Takođe je zasnovao Horovu logiku za verifikaciju korektnosti programa i formalni jezik CSP.
Quick Facts Rođenje, Polje ...
Entoni Hor | |
| |
Rođenje | 11. 1. 1934. (1934-01-11) (dob: 90) Kolombo, Britanski Cejlon (danas Šri Lanka) |
---|---|
Polje | računarstvo |
Institucija | Univerzitet Oksford Moskovski državni univerzitet Microsoft Research |
Poznat po | Horovoj logici kviksortu |
Istaknute nagrade | Tjuringova nagrada |
Close