Amir Pnueli

Amir Pnueli (22 aprile 1941 – 2 novembre 2009) è stato un matematico, informatico e ricercatore israeliano.

Ha ricevuto il Premio Turing nel 1996.

Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca. in matematica applicata dal Weizmann Institute of Science. La sua tesi era sul tema "Calcolo delle maree nell'oceano". È passato all'informatica durante un periodo come borsista post-dottorato presso la Stanford University. I suoi lavori in informatica si sono concentrati sulla logica temporale e sul controllo dei modelli, in particolare per quanto riguarda le proprietà di equità dei sistemi concorrenti.^[1]

È tornato in Israele come ricercatore; è stato il fondatore e il primo presidente del dipartimento di informatica presso l'Università di Tel Aviv. È diventato professore di informatica presso il Weizmann Institute nel 1981. Dal 1999 fino alla sua morte, Pnueli ha anche ricoperto una posizione presso il Dipartimento di Informatica della New York University, New York, USA. Pnueli ha anche fondato due società tecnologiche per startup durante la sua carriera.

Ha avuto tre figli e, alla sua morte, ha avuto quattro nipoti. Pnueli è morto il 2 novembre 2009 per un'emorragia cerebrale.

Premi e riconoscimenti

Nel 1996, Pnueli ha ricevuto il Premio Turing per il lavoro fondamentale che introduce la logica temporale nella scienza informatica e per i contributi eccezionali alla verifica di programmi e sistemi.
Il 30 maggio 1997 Pnueli ha ricevuto un dottorato honoris causa dalla Facoltà di Scienze e Tecnologia dell'Università di Uppsala, Svezia.
Nel 1999, è stato inserito come Associato straniero dell'Accademia Nazionale di Ingegneria degli Stati Uniti.
Nel 2000 è stato insignito dell'Israel Prize, per l'informatica.
Nel 2007 è stato inserito come membro dell'Association for Computing Machinery.
Il Weizmann Institute of Science presenta una serie di conferenze commemorative in suo onore.

Note

^ Kenneth Chang, Amir Pnueli, Pioneer of Temporal Logic, Dies at 68, in The New York Times, 14 novembre 2009..

Altri progetti

Wikimedia Commons contiene immagini o altri file su Amir Pnueli

Collegamenti esterni

Sito ufficiale, su wisdom.weizmann.ac.il.
(EN) William L. Hosch, Amir Pnueli, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Amir Pnueli, su Mathematics Genealogy Project, North Dakota State University.

Controllo di autorità	VIAF (EN) 59337776 · ISNI (EN) 0000 0000 8386 4015 · LCCN (EN) n85817647 · GND (DE) 1076344267 · BNF (FR) cb146146775 (data) · J9U (EN, HE) 987007392321405171

Portale Biografie

Portale Informatica

[nyt-1] Kenneth Chang, Amir Pnueli, Pioneer of Temporal Logic, Dies at 68, in The New York Times, 14 novembre 2009..

[1]

V · D · M Vincitori del Premio Turing
Anni 1960	Alan Perlis (1966) · Maurice V. Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969)
Anni 1970	James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell - Herbert Simon (1975) · Michael Rabin - Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979)
Anni 1980	Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson - Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft - Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989)
Anni 1990	Fernando J. Corbató (1990) · Robin Milner (1991) · Butler W. Lampson (1992) · Juris Hartmanis - Richard E. Stearns (1993) · Edward Feigenbaum - Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick P. Brooks, Jr. (1999)
Anni 2000	Andrew Chi-Chih Yao (2000) · Ole-Johan Dahl - Kristen Nygaard (2001) · Ronald Rivest - Adi Shamir - Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf - Robert Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke - E. Allen Emerson - Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009)
Anni 2010	Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali - Shafi Goldwasser (2012) · Leslie Lamport (2013) · Michael Stonebraker (2014) · Martin Hellman - Whitfield Diffie (2015) · Tim Berners-Lee (2016) · John L. Hennessy - David Patterson (2017) · Yoshua Bengio - Geoffrey Hinton - Yann LeCun (2018) Edwin Catmull - Pat Hanrahan (2019)
Anni 2020	Alfred Aho - Jeffrey Ullman (2020) · Jack Dongarra (2021) · Robert Metcalfe (2022) · Avi Wigderson (2023)