Amir Pnueli
Amir Pnueli | |
---|---|
![]() | |
Lahir | (1941-04-22)22 April 1941 Nahalal, Israel |
Meninggal | 2 November 2009(2009-11-02) (umur 68) New York, Amerika Serikat |
Kebangsaan | Israel |
Penghargaan | Penghargaan Turing (1996) Penghargaan Israel |
Karier ilmiah | |
Bidang | Ilmu komputer |
Institusi | Universitas Stanford Universitas Tel Aviv Institut Weizmann Universitas New York |
Amir Pnueli (bahasa Ibrani: אמיר פנואלי; 22 April 1941 – 2 November 2009) adalah seorang ilmuwan komputer Israel dan penerima Penghargaan Turing 1996.
Biografi
Pnueli lahir di Nahalal, Palestina Mandat Britania (kini Israel) dan meraih gelar sarjana dalam bidang matematika dari Technion di Haifa, dan Ph.D. dalam bidang matematika terapan dari Institut Sains Weizmann. Tesisnya berjudul "Calculation of Tides in the Ocean". Ia beralih ke ilmu komputer saat menjabat sebagai anggota pasca-doktoral di Universitas Stanford.[1]
Ia pulang ke Israel sebagai peneliti. Ia menjadi pendiri dan ketua pertama jurusan ilmuwan komputer di Universitas Tel Aviv. Ia menjadi profesor ilmu komputer di Institut Weizmann pada 1981. Dari 1999 sampai kematiannya, Pnueli juga menjabat di Jurusan Ilmu Komputer di Universitas New York, New York, Amerika Serikat.[1]
Pnueli juga mendirikan dua perusahaan teknologi rintisan pada masa karirnya. Ia memiliki tiga anak dan empat cucu.[1]
Pnueli meninggal pada 2 November 2009 akibat pendarahan otak.[1][2][3]
Referensi
- ^ a b c d Chang, Kenneth (November 14, 2009), "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68", The New York Times .
- ^ "NYU Computer Science Professor Amir Pnueli, 68", Dr. Dobb's, November 5, 2009 .
- ^ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist, New York University Computer Science Department, diarsipkan dari versi asli tanggal 9 November 2009, diakses tanggal 2009-11-08 Parameter
|url-status=
yang tidak diketahui akan diabaikan (bantuan).
Pranala luar
- New York University homepage
- Short biography
- Weizmann Institute homepage
- Profile
- Amir Pnueli pada DBLP Bibliography Server
- l
- b
- s
- Alan Perlis (1966)
- Maurice Vincent Wilkes (1967)
- Richard Hamming (1968)
- Marvin Minsky (1969)
- James H. Wilkinson (1970)
- John McCarthy (1971)
- Edsger W. Dijkstra (1972)
- Charles Bachman (1973)
- Donald Knuth (1974)
- Allen Newell; Herbert A. Simon (1975)
- Michael O. Rabin; Dana Scott (1976)
- John Backus (1977)
- Robert W. Floyd (1978)
- Kenneth E. Iverson (1979)
- 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)
- Fernando J. Corbató (1990)
- Robin Milner (1991)
- Butler Lampson (1992)
- Juris Hartmanis; Richard E. Stearns (1993)
- Edward Feigenbaum; Raj Reddy (1994)
- Manuel Blum (1995)
- Amir Pnueli (1996)
- Douglas Engelbart (1997)
- Jim Gray (1998)
- Fred Brooks (1999)
- Andrew Yao (2000)
- Ole-Johan Dahl; Kristen Nygaard (2001)
- Ron Rivest; Adi Shamir; Leonard Adleman (2002)
- Alan Kay (2003)
- Vint Cerf; Bob Kahn (2004)
- Peter Naur (2005)
- Frances Allen (2006)
- Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (2007)
- Barbara Liskov (2008)
- Charles P. Thacker (2009)
- Leslie G. Valiant (2010)
- Judea Pearl (2011)
- Shafi Goldwasser; Silvio Micali (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)
- Ed Catmull; Pat Hanrahan (2019)
- Alfred Aho; Jeffrey Ullman (2020)