Pnueli was born in
Nahalal, in the
British Mandate of Palestine (now in
Israel). He attended
Tichon Hadash high school in Tel Aviv. He 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. ==Awards and honours==