C. A. R. Hoare
Sa Wikipedije, slobodne enciklopedije
![]() 2005. VMCAI konferencija |
|
Rođenje | 11. januar 1934. Colombo, Šri Lanka |
---|---|
Polje | Računarstvo |
Institucija | Elliott Brothers Kraljičin univerzitet u Belfastu Univerzitet u Oxfordu Microsoft Research |
Poznat po | Quicksort Hoare logika CSP |
Istaknute nagrade | ACM Turingova nagrada |
Sir Charles Antony Richard Hoare (Tony Hoare ili C.A.R. Hoare, rođen 11. januara 1934. godine) je britanski informatičar, najpoznatiji po razvitku quicksorta, najpopularnijeg algoritma sortiranja, 1960. godine. Također je razvio Hoare logiku, te formalni jezik Communicating Sequential Processes (CSP), korišten za specificiranje interakcija konkurentnih procesa (uključujući problem večerajućih filozofa te kao inspiracija za programski jezik Occam.
[uredi] Biografija
Rođen u Colombou (Šri Lanka) roditelja britanaca, stekao je titulu bakalureata u klasici od Univerziteta u Oxfordu (Merton College) 1956. godine 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 Univerzitetu u Moskvi u Sovjetskom Savezu u Kolmogorovljevoj školi.
1960. godine je napustio Sovjetski Savez te započeo rad u Elliott Brothers, Ltd, gdje je implementirao ALGOL 60 i revno se posvetio radu na algoritmima. Postao je profesor računarskih znanosti na Kraljičinom univerzitetu u Belfastu 1968. godine, a 1977. godine 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.
[uredi] Nagrade
- 1980. godine je primio ACM Turingovu nagradu za "za njegove fundamentalne doprinose definiciji i dizajnu programskih jezika". Nagrada mu je bila dodijeljena na ACM-ovoj godišnjoj konferenciji u Nashvilleu, Tennessee, 27. listopada 1980., od strane Waltera Carlsona, predsjednika komiteta za dodjelu nagrada. Transkript Hoareovog govora je objavljen u časopisu Communications of the ACM.[1]
- 2000. godine je bio ovitežen za svoje službe u obrazovanju i računarstvu.
- 13. novembra 2006. godine, Computer History Museum u Mountain View, California ga je primio u članstvo kao Fellow of the Museum "za razvoj quicksort algoritma i doživotne doprinose programskim jezicima".
[uredi] Vanjski linkovi
- web stranica pri Microsoftu — kratka biografija
- Oxford University Computing Laboratory web stranica — Profesor emeritus računarstva
- Savjeti za doktorske studente od strane Tonyja Hoarea — održano na Međunarodnoj ljetnoj školi Marktoberdorf 2006.
1966. Alan Perlis • 1967. Maurice Vincent Wilkes • 1968. Richard Hamming • 1969. Marvin Minsky • 1970. James H. Wilkinson • 1971. John McCarthy • 1972. Edsger Dijkstra • 1973. Charles Bachman • 1974. Donald Knuth • 1975. Allen Newell, Herbert Simon • 1976. Michael O. Rabin, Dana Scott • 1977. John Backus • 1978. Robert Floyd • 1979. Kenneth E. Iverson • 1980. C. A. R. Hoare • 1981. Edgar F. Codd • 1982. Stephen Cook • 1983. Ken Thompson, Dennis Ritchie • 1984. Niklaus Wirth • 1985. Richard Karp • 1986. John Hopcroft, Robert Tarjan • 1987. John Cocke • 1988. Ivan Sutherland • 1989. William Kahan • 1990. Fernando J. Corbató • 1991. Robin Milner • 1992. Butler Lampson • 1993. Juris Hartmanis, Richard Stearns • 1994. Edward Feigenbaum, Raj Reddy • 1995. Manuel Blum • 1996. Amir Pnueli • 1997. Douglas Engelbart • 1998. Jim Gray • 1999. Fred Brooks • 2000. Andrew Yao • 2001. Ole-Johan Dahl, Kristen Nygaard • 2002. Ron Rivest, Adi Shamir, Leonard Adleman • 2003. Alan Kay • 2004. Vint Cerf, Bob Kahn • 2005. Peter Naur • 2006. Frances E. Allen