International Member
Dr. Amir Pnueli
1941-2009
Dr. Amir Pnueli
International Member
Professor of Computer Science, New York University
More Info
  • 1999
  • Computer Science and Engineering
More Info
  • 1999
  • Computer Science and Engineering
More Info
  • 1999
  • Computer Science and 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.
Employment
  • New York University
  • Weizmann Institute of Science