Amir Pnueli
Israeli computer scientist researching temporal logic, model checking, and concurrent systems
Why Is Amir Pnueli Influential?
(Suggest an Edit or Addition)According to Wikipedia, Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine 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.
Other Resources About Amir Pnueli
What Schools Are Affiliated With Amir Pnueli?
Amir Pnueli is affiliated with the following schools:
