kids encyclopedia robot

Amir Pnueli facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Amir Pnueli
Amir Pnueli.jpg
Born (1941-04-22)April 22, 1941
Died 2 November 2009(2009-11-02) (aged 68)
Nationality Israeli
Awards Turing Award (1996)
Israel Prize
Scientific career
Fields Computer Science
Institutions Stanford University
Tel Aviv University
Weizmann Institute
New York University
Doctoral students
  • Mordechai Ben-Ari
  • Dana Fisman
  • Nissim Francez
  • Doron A. Peled
  • Ofer Strichman
  • Lenore Zuck

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

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 (1967). 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

See also

Kids robot.svg In Spanish: Amir Pnueli para niños

kids search engine
Amir Pnueli Facts for Kids. Kiddle Encyclopedia.