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	1966: Alan Perlis 1967: Maurice V. Wilkes 1968: Richard Hamming 1969: Marvin Minsky 1970: James H. Wilkinson 1971: John McCarthy 1972: Edsger Dijkstra 1973: Charles W. Bachman 1974: Donald E. Knuth 1975: Allen Newell, Herbert Simon 1976: Michael O. Rabin, Dana S. Scott 1977: John Backus 1978: Robert W. Floyd 1979: Kenneth E. Iverson 1980: C.A.R. Hoare 1981: Edgar F. Codd 1982: Stephen A. Cook 1983: Ken Thompson, Dennis Ritchie 1984: Niklaus Wirth 1985: Richard M. Karp 1986: John Hopcroft, Robert Tarjan 1987: John Cocke 1988: Ivan Sutherland 1989: William 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
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

XX wiek