Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen.
Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Q formeel-logische uitdrukkingen zijn, en S staat voor een algoritme of computerprogramma. Deze schrijfwijze betekent: Als aanvankelijk P waar is, en S wordt uitgevoerd, is daarna Q waar. Hierop kan logica toegepast worden, en deze wordt gebruikt om correctheid van computerprogramma's te bewijzen.
In 1980 ontving hij de Turing Award van de Association for Computing Machinery:
"For his fundamental contributions to the definition and design of programming languages."
Association for Computing Machinery[1]
In 1985 ontving hij de Faraday Medal.
| Winnaars van de Turing Award |
|
1966: Alan J. Perlis · 1967: Maurice V. Wilkes · 1968: Richard Hamming · 1969: Marvin Minsky · 1970: J.H. Wilkinson · 1971: John McCarthy · 1972: Edsger Dijkstra · 1973: Charles W. Bachman · 1974: Donald E. Knuth · 1975: Allen Newell, Herbert Simon · 1976: Michael Rabin, Dana S. Scott · 1977: John Backus · 1978: Robert W. Floyd · 1979: Kenneth E. Iverson · 1980: Tony Hoare · 1981: Edgar F. (Ted) Codd · 1982: Stephen A. Cook · 1983: Ken Thompson, Dennis M. Ritchie · 1984: Niklaus Wirth · 1985: Richard M. Karp · 1986: John Hopcroft, Robert Tarjan · 1987: John Cocke · 1988: Ivan Sutherland · 1989: William (Velvel) Kahan · 1990: Fernando J. Corbató · 1991: Robin Milner · 1992: Butler W. Lampson · 1993: Juris Hartmanis, Richard E. Stearns · 1994: Edward Feigenbaum, Raj Reddy · 1995: Manuel Blum · 1996: Amir Pnueli · 1997: Douglas Engelbart · 1998: James Gray · 1999: Frederick P. Brooks, Jr. · 2000: Andrew Chi-Chih Yao · 2001: Ole-Johan Dahl, Kristen Nygaard · 2002: Ron Rivest, Adi Shamir, Leonard M. Adleman · 2003: Alan Kay · 2004: Vinton G. Cerf, Robert E. Kahn · 2005: Peter Naur · 2006: Frances E. Allen · 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis · 2008: Barbara Liskov · 2009: Charles Thacker · 2010: Leslie Valiant
|
