Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli.jpg
Amir Pnueli
Date personale
Născut 22 aprilie 1941 (75 de ani)
Nahalal, Palestina
Decedat 2 noiembrie 2009 (68 de ani)[1]
New York, SUA
Naționalitate israelian
Cetățenie Israel
Ocupație informatician
inginer
pedagog[*]
profesor universitar
Activitate
Rezidență Israel Israel
Domeniu informatician
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion
Premii Premiul Turing, 1996
Modifică date / text Consultați documentația formatului

Amir Pnueli (în ebraică אמיר פנואלי; n. 22 aprilie 1941, Nahalal, Palestina, astăzi în Israel) este un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.


v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)
Informații bibliotecare
Flag of Israel.svg  Acest articol biografic despre un israelian este un ciot. Puteți ajuta Wikipedia prin completarea lui!
  1. ^ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html  Missing or empty |title= (ajutor)
Adus de la https://ro.wikipedia.org/w/index.php?title=Amir_Pnueli&oldid=10097369