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


                



                               aMir PNUeli
                                    1941–2009

                                    elected in 1999

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