Amir Pnueli

From Wikipedia, the free encyclopedia

Amir Pnueli
Born	April 22, 1941 (1941-04-22) (age 67) Nahalal, Israel
Nationality	Israeli
Fields	Computer Science
Institutions	Weizmann Institute New York University
Notable awards	Turing Award

Amir Pnueli (Hebrew: אמיר פנואלי‎; born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.

Born in Nahalal, Israel, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. He returned to Israel as a researcher and after a sequence of academic appointments became Professor of Computer Science at the Weizmann Institute in 1981. Since 1999, Pnueli has also held a position at the Computer Science Department of New York University, New York, U.S. In 2007 he was inducted as a Fellow of the Association for Computing Machinery.

Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.

[edit] See also

• Important publications in Formal verification

[edit] External links

• New York University home page
  • Short biography
• Weizmann home page
  • Profile

v • d • e A. M. Turing Award laureates 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)

Persondata
NAME	Pnueli, Amir
ALTERNATIVE NAMES
SHORT DESCRIPTION	Israeli computer scientist
DATE OF BIRTH	April 22, 1941
PLACE OF BIRTH	Nahalal, Israel
DATE OF DEATH
PLACE OF DEATH