Dr. Amir Pnueli
1941-2009
Dr. Amir Pnueli Foreign Member
Professor of Computer Science , New York University
More Info
  • 1999
  • Computer Science & Engineering
More Info
  • 1999
  • Computer Science & Engineering
Election Citation
For the invention of temporal logic and other tools for designing and verifying software and systems.