Amir Pnueli

Most Influential Person Now

Israeli computer scientist researching temporal logic, model checking, and concurrent systems

Amir Pnueli's Academic­ Rankings

Amir Pnueli
Computer Science
World Rank
Historical Rank
World Rank
Historical Rank
computer-science Degrees
Download Badge
  • Computer Science

Amir Pnueli's Degrees

Similar Degrees You Can Earn

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.

(See a Problem?)

Amir Pnueli's Published Works

Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

This paper list is powered by the following services:

Metadata from Crossref logo

Other Resources About Amir Pnueli

What Schools Are Affiliated With Amir Pnueli?

Amir Pnueli is affiliated with the following schools: