VOOZH about

URL: https://sh.wikipedia.org/wiki/Tony_Hoare

⇱ Tony Hoare – Wikipedija / Википедија


Prijeđi na sadržaj
Izvor: Wikipedija
Entoni Hor
👁 Ser Čarls Entoni Ričard Hor

Rođenje 11. januara 1934. (1934-01-11) (dob: 92)
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 (engleski: Sir Charles Antony Richard Hoare ; 11. januar 1934. - 5. mart 2026.) bio 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.

Biografija

[uredi | uredi kod]

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.

Umro je 5. marta 2026.

Nagrade

[uredi | uredi kod]

Knjige

[uredi | uredi kod]

Reference

[uredi | uredi kod]
  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. Arhivirano iz originala na datum 2003-03-15. Pristupljeno 2013-03-17.

Vanjske veze

[uredi | uredi kod]
Wikimedijina ostava sadrži medije na temu: Tony Hoare.