Amir Pnueli

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

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal[*], Israel – d. ,[1] New York, SUA) a fost 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)  · Tim Berners-Lee (2016)
Informații bibliotecare
Flag of Israel.svg  Acest articol biografic despre un israelian este un ciot. Puteți ajuta Wikipedia prin completarea lui!
  1. ^ a b 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=11022030