Amir Pnueli

Amir Pnueli war ein israelischer Informatiker.

Biographie

Pnueli wurde Nahalal geboren, im britischen Mandatsgebiet Palästina und erhielt einen Bachelor-Abschluss in Mathematik an der Technion in Haifa, und Ph.D. in angewandter Mathematik vom Weizmann Institut. Seine Arbeit war das Thema "Berechnung der Gezeiten im Ozean". Er wechselte in die Informatik während einer Tätigkeit als Postdoktorand an der Stanford University. Seine Arbeiten in der Informatik konzentriert sich auf zeitliche Logik und Modellüberprüfung, insbesondere in Bezug auf Fairness Eigenschaften von parallel arbeitende Systeme.

Er kehrte nach Israel als Forscher; Er war der Gründer und erster Vorsitzender des Fachbereichs Informatik der Universität Tel Aviv. Er wurde Professor für Informatik am Weizmann Institut im Jahr 1981. Von 1999 bis zu seinem Tod, Pnueli auch entschieden, eine Position am Computer Science Department der New York University, New York, USA.

Pnueli gründete auch zwei Startup-Unternehmen im Laufe seiner Karriere. Er hatte drei Kinder, und bei seinem Tod, hatte vier Enkelkinder.

Pnueli starb am 2. November 2009 an einer Gehirnblutung.

Preise und Auszeichnungen

  • 1996 erhielt Pnueli den Turing Award für bahnbrechenden Arbeiten zur Einführung zeitliche Logik in die Informatik und für herausragende Beiträge zur Programm und Systeme Verifikation.
  • Im Jahr 1999 wurde er als Foreign Associate der US National Academy of Engineering aufgenommen.
  • Im Jahr 2000 wurde er mit dem Israel-Preis, für Informatik.
  • Im Jahr 2007 wurde er zum Fellow der Association for Computing Machinery aufgenommen.
  • Das Weizmann-Institut präsentiert eine Gedenkvorlesung in seiner Ehre.
(0)
(0)
Kommentare - 0
Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha