Amir Pnueli

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Amir Pnueli
Amir Pnueli
Amir Pnueli
Născut 22 aprilie 1941 (1941-04-22) (72 de ani)
Nahalal, Palestina
Rezidență Israel Israel
Naționalitate israelian
Domeniu informatician
Instituție Institutul Weizmann
Universitatea New York
Alma Mater Institutul Israelian de Tehnologie Haifa
Premii Premiul Turing, 1996
modifică 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)
Flag of Israel.svg  Acest articol biografic despre un israelian este deocamdată un ciot. Poți ajuta Wikipedia prin completarea lui!
Adus de la http://ro.wikipedia.org/w/index.php?title=Amir_Pnueli&oldid=7628290