Amir Pnueli

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Amir Pnueli
Amir Pnueli.jpg
Amir Pnueli
Date personale
Născut[1] Modificați la Wikidata
Nahalal[*]​, Palestina sub mandat britanic Modificați la Wikidata
Decedat (68 de ani)[2][1] Modificați la Wikidata
New York, SUA Modificați la Wikidata
Cauza decesuluicauze naturale[*]​ (hemoragie cerebrală[*]​) Modificați la Wikidata
CetățenieFlag of Israel.svg Israel Modificați la Wikidata
Ocupațieinformatician
inginer
pedagog
profesor universitar[*]​
matematician Modificați la Wikidata
Activitate
Domeniuinformatică  Modificați la Wikidata
Număr Erdős2  Modificați la Wikidata
InstituțieInstitutul Weizmann
Universitatea New York
Alma MaterTechnion
Institutul de știință Weizmann  Modificați la Wikidata
OrganizațiiAcademia Națională de Științe a Israelului
Association for Computing Machinery
National Academy of Engineering[*]​  Modificați la Wikidata
Conducător de doctoratChaim L. Pekeris[*]​  Modificați la Wikidata
DoctoranziDan Zakay[*]​
Mordechai Ben-Ari[*]​  Modificați la Wikidata
PremiiPremiul Israel[*]​ ()
Premiul Turing ()
ACM Software System Award[*]​ ()
ACM Fellow[*]​ ()  Modificați la Wikidata
Prezență online
Modifică date / text Consultați documentația formatului

Amir Pnueli (în ebraică אמיר פנואלי; n. ,[1] Nahalal[*]​, Palestina sub mandat britanic – d. ,[2][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 c d Amir Pnueli, Autoritatea BnF 
  2. ^ a b http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html  Lipsește sau este vid: |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)

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=11954195