Amir Pnueli

Infobox_Scientist
name = Amir Pnueli


image_width = 150px
caption =
birth_date = Birth date and age|1941|4|22|mf=y
birth_place = Nahalal, Israel
death_date =
death_place =
residence =
citizenship =
nationality = Israeli
ethnicity =
field = Computer Science
work_institution = Weizmann Institute
New York University
alma_mater =
doctoral_advisor =
doctoral_students =
known_for =
author_abbreviation_bot =
author_abbreviation_zoo =
prizes = Turing Award
religion =
footnotes =

Amir Pnueli ( _he. אמיר פנואלי; 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.

ee also

* Important publications in Formal verification

External links

* [http://www.cs.nyu.edu/cs/faculty/pnueli/ New York University home page]
** [http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html Short biography]
* [http://www.wisdom.weizmann.ac.il/~amir/ Weizmann home page]
** [http://www.wisdom.weizmann.ac.il/math/profile/scientists/pnueli-profile.html Profile]

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=