Amir Pnueli

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
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ățenieFlag of Israel.svg Israel Modificați la Wikidata
Ocupațieinformatician
inginer
pedagog[*]
profesor universitar 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  Modificați la Wikidata
OrganizațiiUniversitatea New York[*]  Modificați la Wikidata
Conducător de doctoratChaim L. Pekeris[*]  Modificați la Wikidata
DoctoranziDan Zakay[*]  Modificați la Wikidata
SocietățiAcademia Națională de Științe a Israelului
Association for Computing Machinery  Modificați la Wikidata
PremiiPremiul 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  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