Tony Hoare

Izvor: Wikipedia
Entoni Hor
Ser Čarls Entoni Ričard Hor
Rođenje 11. januar 1934. (1934-01-11) (dob: 80)
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

Ser Čarls Entoni Ričard Hor (eng. Sir Charles Antony Richard Hoare ; 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.

Životopis[uredi - уреди]

Rođen u Colombou (Šri Lanka) roditelja britanaca, stekao je titulu bakalureata u klasici od Sveučilišta u Oxfordu (Merton College) 1956. Ostao je još jednu godinu u Oxfordu proučavajući postdiplomsku statistiku, te vršeći svoju dužnost u Kraljevskoj mornarici (1956–1958). Kad je naučio govoriti ruski, proučavao je prevođenje prirodnih jezika na Sveučilištu u Moskvi u Sovjetskom Savezu u Kolmogorovljevoj školi.

1960. je napustio Sovjetski Savez te započeo rad u Elliott Brothers, Ltd, gdje je implementirao ALGOL 60 i revno se posvetio radu na algoritmima.[1] Postao je profesor računarskih znanosti na Kraljičinom sveučilištu u Belfastu 1968., a 1977. se preselio natrag u Oxford kao profesor računarstva kako bi vodio skupinu za istraživanje programiranja pri Oxford University Computing Laboratory, a nakon smrti Christophera Stracheyja. Sad obnaša dužnost profesora emeritusa, te je i viši istraživač pri Microsoft Research u Cambridgeu, Engleska.

Nagrade[uredi - уреди]

Knjige[uredi - уреди]

Izvori[uredi - уреди]

  1. 1.0 1.1 C.A.R. Hoare (February 1981). "The emperor's old clothes" (PDF). Communications of the ACM 24 (2): 75–83. doi:10.1145/358549.358561. ISSN 0001-0782. 

Vanjske poveznice[uredi - уреди]