👁 Image
Dana Scott
Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof.
W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.
| 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
- 2024: Andrew Barto, Richard S. Sutton
|
|---|
Identyfikatory zewnętrzne:
