Sir Tony Hoare, tvorac Quicksorta, preminuo je u 92. godini. Algoritam koji je razvio 1959. ostao je standard za brzo sortiranje podataka. Hoare je takođe uveo Hoareovu logiku i razvio model CSP za konkurentnost. Dobitnik je Turingove nagrade, član Royal Society i vitez.
Sir Tony Hoare — Tvorac Quicksorta i Otac Formalnih Metoda U Računarstvu
Hoare: his engaging humility and sense of humour enabled him to win over audiences many decades younger than himself - wikipedia creative commons
Sir Tony Hoare (11. januar 1934. — 5. mart 2026.) bio je jedan od najuticajnijih dizajnera softvera XX veka. Najpoznatiji je po izumu algoritma Quicksort 1959. godine, dok je bio postdiplomac na Moskovskom državnom univerzitetu — rešenje koje i danas služi kao industrijski standard za brzo sortiranje podataka.
Quicksort i osnovni doprinosi
Quicksort je algoritam tipa 'podeli i osvoji' (engl. divide and conquer): deli problem na manje delove, sortira ih nezavisno i potom kombinuje rezultate. Hoare ga je razvio da ubrza pretragu reči u rečniku i time postavio temelje za efikasno sortiranje imena, brojeva i drugih skupova podataka u softveru i bibliotekama.
Pored Quicksorta, Hoare je dao ključne doprinose u više oblasti računarstva: učestvovao je u razvoju jezika poput Pascal, Modula i Occam; 1969. je uveo Hoareovu logiku (Hoare Logic) — formalni sistem za dokazivanje ispravnosti programa; a 1978. je formulisao model Communicating Sequential Processes (CSP) za opis međuprocesnih komunikacija i konkurentnosti.
Anegdote i ličnost
Jedna poznata anegdota iz njegovog vremena u kompaniji Elliott Brothers ilustruje njegov smisao za humor: nakon što je predložio brži algoritam od shell sorta, nadređeni je odgovorio "Kladim se šestpenijem da ga nemaš" — Hoare je dobio opkladu. Takođe je zabeležena njegova duhovita replika kada je objašnjavao rekurziju menadžeru: "Tony, nije me briga ako program razgovara sa samim sobom, samo da to ne radi na radnom vremenu firme."
Kratka biografija
Charles Antony Richard Hoare rođen je u Colombu (tada Ceylon) 1934. godine. Školovao se u The King’s School Canterbury, studirao je na Merton College, Oxford, gde je učio logiku pod vodstvom Johna Lucasa. Tokom službe u Royal Navy naučio je ruski u Joint Services School for Linguists, a kasnije je radio na univerzitetskom računaru Ferranti Mercury.
Po povratku u Englesku, radio je u kompaniji Elliott Brothers (1960–1968), potom postaje profesor računarstva na Queen’s University Belfast (1968), a 1977. se vraća u Oxford kao rukovodilac Programming Research Group. Od 1988. je bio Christopher Strachey Professor of Computing, a nakon penzionisanja postao je emeritus. Bio je i principal researcher u Microsoft Research u Cambridgeu.
Nasleđe, priznanja i priznanje za 'null reference'
Hoare je primio brojne nagrade i počasti: Turingovu nagradu 1980., članstvo u Royal Society 1982. i viteški naslov 2000. Njegov rad na formalnim metodama i teoriji konkurentnosti i danas utiče na dizajn jezika, verifikaciju softvera i teoriju programiranja.
2009. je javno izrazio žaljenje zbog uvođenja koncepta 'null reference' 1965., nazvavši ga 'greškom vrednom milijardu dolara' zbog brojnih grešaka i sigurnosnih propusta koje je prouzrokovao.
U privatnom životu, oženio se Jill Pym 1962. i imao troje dece, pri čemu je jedan sin preminuo od leukemije tokom detinjstva. Festschrifts i sećanja kolega ističu njegovu skromnost, toplinu i smisao za humor koji je osvajao publiku svih generacija.
Sir Tony Hoare ostavlja trajno nasleđe u teoriji i praksi računarstva — od elegantne teorije do praktičnih alata koji i danas pokreću softver širom sveta.
Pomozite nam da budemo bolji.
