|
Charles Antony Richard Hoare
Charles Antony Richard Hoare Tony Hoare (ur. 11 stycznia 1934 w Kolombo)[1] – brytyjski informatyk, twórca algorytmu sortowania quicksort.
Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się do powstania języka programowania Occam.
W 1980 roku, w dowód uznania za wkład w rozwój języków programowania, otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedznie zaawansowanych technologii w 2000 roku[2].
Przypisy
| 2001–2009 |
- 2001: R. Gardner, G. Horn, S. Edwards
- 2002: R. Peto, S. Cory, R. Freeman
- 2003: J. Skehel, K. Johnson, N. Shackleton
- 2004: J. Black, A. Jeffreys, J. Lewis
- 2005: M. Pepper, A. Pawson, M. Fisher
- 2006: D. Baulcombe, T. Hunt, J. Pendry
- 2007: T. Lindahl, C. Hilsum, J. Feast
- 2008: R. Hedges, R. Cohen, A. Fersht
- 2009: C.N.R. Rao, R. Laskey, C. Dobson
|
|---|
| 2010–2019 |
- 2010: P. Knight, A. Surani, A. Hill
- 2011: S. Ley, R. Holliday, G.P. Winter
- 2012: T.W.B. Kibble, K. Murray, A.B. Holmes
- 2013: R. Baxter, W. Bodmer, P. Wells
- 2014: T. Tao, T. Hunter, H. Morris
- 2015: J. Bell Burnell, E. Blackburn, C.L. Smith
- 2016: J.M. Thomas, E. Robertson, J. Goodby
- 2017: P. Corkum, P.R. Grant, B.R. Grant, M. Greaves
- 2018: S. Sparks, L. Wolpert, S. Balasubramanian, D. Klenerman
- 2019: C. Robinson, M. Goedert, A. Dowling
|
|---|
| 2020–2029 |
- 2020: H. Huppert, C. Dean, I. Shanks
- 2021: C. Humphreys, D. Lo, M. Green
- 2022: R. Ellis, S.C. West, G. Hinton
- 2023: A. Hoare, H. Waldmann, P. Vallance, C. Whitty
- 2024: T. Virdee, M. Stratton, R. Maini, M. Feldmann
|
|---|
![]()
| XX wiek |
|
|---|
| XXI wiek |
- 2001: Ole-Johan Dahl, Kristen Nygaard
- 2002: Ron Rivest, Adi Szamir, Leonard Adleman
- 2003: Alan Kay
- 2004: Vinton G. Cerf, Robert E. Kahn
- 2005: Peter Naur
- 2006: Frances E. Allen
- 2007: Edmund Clarke, Allen Emerson, Joseph Sifakis
- 2008: Barbara Liskov
- 2009: Charles P. Thacker
- 2010: Leslie Valiant
- 2011: Judea Pearl
- 2012: Silvio Micali, Shafrira Goldwasser
- 2013: Leslie Lamport
- 2014: Michael Stonebraker
- 2015: Whitfield Diffie, Martin Hellman
- 2016: Tim Berners-Lee
- 2017: John L. Hennessy, David Patterson
- 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun
- 2019: Ed Catmull, Pat Hanrahan
- 2020: Alfred V. Aho, Jeffrey Ullman
- 2021: Jack Dongarra
- 2022: Robert Metcalfe
- 2023: Awi Wigderson
|
|---|
Identyfikatory zewnętrzne:
|
|
