Nisha Rathode (Editor)

Amir Pnueli

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
Israeli

Name
  
Amir Pnueli


Role
  
Computer scientist

Fields
  
Computer Science

Amir Pnueli wwwnaeeduFileaspxid34336

Born
  
April 22, 1941Nahalal, British Mandate of Palestine (
1941-04-22
)

Institutions
  
StanfordTel Aviv UniversityWeizmann InstituteNew York University

Notable awards
  
Turing Award (1996)Israel Prize

Died
  
November 2, 2009, New York, United States

Books
  
Temporal Verification of Reactive Systems: Safety

Education
  
Weizmann Institute of Science, Technion – Israel Institute of Technology

People also search for
  
Zohar Manna, W.-P. de Roever, Shmuel Safra

David harel amir pnueli a gentle giant lord of the phi s and the psi s


Amir Pnueli (Hebrew: אמיר פנואלי‎‎; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

Contents

Series 2 | 3rd session of Turing Techtalk Series | Life and work of Prof. Amir Pnueli


Biography

Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from 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. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.

He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U.S..

Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.

Pnueli died on November 2, 2009 of a brain hemorrhage.

Awards and honours

  • In 1996, Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
  • On May 30, 1997 Pnueli received an honorary doctorate from the Faculty of Science and Technology at Uppsala University, Sweden.
  • In 1999, he was inducted as a Foreign Associate of the U.S. National Academy of Engineering.
  • In 2000, he was awarded the Israel Prize, for computer science.
  • In 2007, he was inducted as a Fellow of the Association for Computing Machinery.
  • The Weizmann Institute of Science presents a memorial lecture series in his honour.[1]
  • References

    Amir Pnueli Wikipedia