Amir Pnueli (am 22. April 1941 - am 2. November 2009) war ein israelischer Computerwissenschaftler.

Lebensbeschreibung

Pnueli ist in Nahalal, Israel geboren gewesen und hat ein Vordiplom in der Mathematik von Technion in Haifa und Dr. in der angewandten Mathematik vom Institut von Weizmann für die Wissenschaft erhalten. Seine These war zum Thema der "Berechnung von Gezeiten im Ozean". Er hat auf die Informatik während einer Einschränkung als ein Postdoktorgefährte an der Universität von Stanford umgeschaltet. Seine Arbeiten in der Informatik haben sich auf zeitliche Logik und Musterüberprüfung besonders bezüglich Schönheitseigenschaften von gleichzeitigen Systemen konzentriert.

Er ist nach Israel als ein Forscher zurückgekehrt; er war der Gründer und der erste Vorsitzende der Informatik-Abteilung an der Tel Aviver Universität. Er ist ein Professor der Informatik am Institut von Weizmann 1981 geworden. Von 1999 bis zu seinem Tod hat Pnueli auch eine Position an der Informatik-Abteilung der New Yorker Universität, New York, des amerikanischen gehalten

Pnueli hat auch zwei Anlauf-Technologiegesellschaften während seiner Karriere gegründet. Er hatte drei Kinder und an seinem Tod, hatte vier Enkel.

Pnueli ist am 2. November 2009 an einer Gehirn-Blutung gestorben.

Preise und Ehren

• 1996 hat Pnueli den Turing-Preis für die Samenarbeit erhalten, die zeitliche Logik in die Rechenwissenschaft und für hervorragende Beiträge zum Programm und Systemüberprüfung einführt.
• 1999 wurde er als ein Ausländischer Partner der amerikanischen Nationalen Akademie der Technik eingeweiht.
• 2000 wurde er dem Preis von Israel für die Informatik zuerkannt.
• 2007 wurde er als ein Gefährte der Vereinigung eingeweiht, um Maschinerie Zu schätzen.
• Das Institut von Weizmann für die Wissenschaft präsentiert eine Gedächtnisvortrag-Reihe in seinem

honour.http://www.wisdom.weizmann.ac.il/pnueli/lecture-2011.shtml

Siehe auch

• Wichtige Veröffentlichungen in der formellen Überprüfung

Liste von Preis-Empfängern von Israel

Links

• New Yorker Universitätseinstiegsseite
• Kurze Lebensbeschreibung
• Instituteinstiegsseite von Weizmann
• Profil