Dr. Amir Pnueli

Title
Professor of Computer Science
Organization
New York University
Deceased
11/02/2009
Election Year
1999
Primary Section
05. Computer Science & Engineering
Member Type
Foreign Member
Dr. Amir Pnueli
1941-2009
Election Citation
For the invention of temporal logic and other tools for designing and verifying software and  systems.