Amir Pnueli
Amir Pnueli (hebreu: אמיר פנואלי) fou un informàtic israelià que va guanyar el premi Turing de 1996.
Biografia
Pnueli va néixer a Nahalal, al Mandat Britànic de Palestina (ara Israel) i es va llicenciar en Matematiques al Technion de Haifa, doctorant-se en matemàtica aplicada a l'Institut Weizmann de Ciències. La seva tesi era sobre el "Càlcul de marees a l'oceà". Va canviar-se a la informàtica quan va fer una estada post-doctoral a la Universitat de Stanford. La seva feina en informàtica es va concentrar en la lògica temporal i la verificació de models, en concret sobre les propietats de justícia dels sistemes concurrents.[1]
Va tornar a Israel com a investigador; va ser el fundador i el primer director del departament d'informàtica de la Universitat de Tel Aviv. Va passar a fer de professor d'informàtica de l'Institut Weizmann el 1981. Des de 1999 fins a la seva mort, Pnueli també tenia un càrrec al Departament d'Informàtica de la Universitat de Nova York, als Estats Units.[1]
Pnueli també va fundar dues empreses de tecnologia al llarg de la seva carrera. Va tenir tres fills, i en el moment de la seva mort, tenia quatre néts.[1]
Pnueli va morir el 2 de novembre de 2009 d'hemorràgia cerebral.[1][2][3]
Premis i honors
- El 1996, Pnueli va rebre el premi Turing per l'obra fundacional en introduir la lògica temporal en la informàtica i per contribucions excel·lents a la verificació de programes i sistemes.
- El 1999, va ser nomenat Associat Estranger de l'Acadèmia Nacional d'Enginyeria dels Estats Units.
- El 2000, va rebre el premi Israel d'informàtica.[4][5]
- El 2007, va ser nomenat Fellow de l'Association for Computing Machinery.
- L'Institut Weizmann de Ciències presenta una sèrie de conferències anual en honor seu.
Referències
- ↑ 1,0 1,1 1,2 1,3 Chang, Kenneth «Amir Pnueli, Pioneer of Temporal Logic, Dies at 68». New York Times, 14-11-2009.
- ↑ «NYU Computer Science Professor Amir Pnueli, 68». Dr. Dobb's, 05-11-2009.
- ↑ «NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist». Arxivat de l'original el 9 novembre 2009. [Consulta: 8 novembre 2009].
- ↑ «Israel Prize Official Site (in Hebrew) – Recipient’s C.V.».
- ↑ «Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient».
Enllaços externs
Guardonats amb el Premi 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) • Hellman / Diffie (2015) • Berners-Lee (2016) • Hennessy / Patterson (2017) • Bengio / Hinton / LeCun (2018) • Hanrahan / Catmull (2019) • Aho / Ullman (2020) • Dongarra (2021) • Metcalfe (2022) |
