Amir Pnueli

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.

Laureaci Nagrody Turinga

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.