Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli.jpg
Date personale
Născut Modificați la Wikidata
Nahalal[*], Palestina sub mandat britanic Modificați la Wikidata
Decedat (68 de ani)[1] Modificați la Wikidata
New York, SUA Modificați la Wikidata
Cetățenie Flag of Israel.svg Israel Modificați la Wikidata
Ocupație informatician
inginer
pedagog[*]
profesor universitar Modificați la Wikidata
Activitate
Număr Erdős 2  Modificați la Wikidata
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Technion  Modificați la Wikidata
Doctoranzi Dan Zakay[*]  Modificați la Wikidata
Societăți Academia Națională de Științe a Israelului
Association for Computing Machinery  Modificați la Wikidata
Premii Premiul Israel[*] ()
Premiul Turing ()
ACM Software System Award[*] ()  Modificați la Wikidata
Prezență online
Modifică date / text Consultați documentația formatului

Amir Pnueli (în ebraică אמיר פנואלי; n. , Nahalal[*], Palestina sub mandat britanic – 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.

Note[modificare | modificare sursă]

  1. ^ a b http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html  Missing or empty |title= (ajutor)


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!
Adus de la https://ro.wikipedia.org/w/index.php?title=Amir_Pnueli&oldid=11225924