Back أمير بنولي Arabic امير بنولى ARZ امیر پنوئلی AZB আমির নিউলি Bengali/Bangla Amir Pnueli Catalan Amir Pnueli Czech Amir Pnueli English Amir Pnueli Esperanto Amir Pnueli Spanish امیر پنوئلی Persian
Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 mit dem Turing Award ausgezeichnet wurde.
