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
Memorial Tribute

BY DAVID HAREL AND MOSHE VARDI 

AMIR PNUELI, a pioneer in the fields of specification, verification, and analysis of computer systems, and a Turing Award winner, died after suffering a brain hemorrhage on November 2, 2009. His sudden death ...

Read More
Election Citation
For the invention of temporal logic and other tools for designing and verifying software and systems.