Z Wikipedii, wolnej encyklopedii
Amir Pnueli
Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael, zm. 2 listopada 2009) – informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
| 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: Avi Wigderson
|
|---|
