Amir Pnueli
Amir Pnueli 2005

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 hat, und dafür 1996 den Turing Award verliehen bekommen hat.

Pnueli machte einen Bachelor in Mathematik am Technion in Haifa und einen Ph. D. in angewandter Mathematik am Weizmann-Institut für Wissenschaften in Rechovot.

Während seiner Post-Doktoranden-Phase an der Stanford University und am Thomas J. Watson Research Center wechselte er in die Informatik. Zurück in Israel betätigte er sich zunächst im Weizmann-Institut in der Forschung, ging dann an die Universität Tel Aviv und gründete dort den Fachbereich für Informatik, dessen erster Vorsitzender er war. 1981 kehrte er als Professor für Informatik an das Weizmann-Institut zurück. Seit 1999 lehrte er auch an der New York University.[1]

1971 war Pnueli an der Gründung des Softwareherstellers Mini-Systems beteiligt, 1984 gründete er mit seinen beiden Mini-Systems-Partnern und David Harel die Firma AdCad (später I-Logix, inzwischen Teil von Telelogic), wo er mit Harel den Statemate-Modellprüfer entwarf. Außerdem arbeitete er mit Harel an der Semantik und Implementation von dessen Zustandsübergangsdiagrammen.[1]

1977 erzielte Pnueli mit seinem Paper The Temporal Logic of Programs einen wichtigen Durchbruch in der Verifizierung paralleler und reaktiver(?) Systeme. Er löste mit den Techniken, die er einführte, einen Paradigmenwechsel in der Untersuchung des dynamischen Verhaltens von Systemen aus. Pnueli untersuchte erstmals das Laufverhalten von Programmen statt nur ihr Ein- / Ausgabeverhalten, und führte so einen mächtigen Formalismus zur Untersuchung von Programmen ein. Dies prägt bis heute das Studium paralleler Programme.[2]

1997 bekam er von der Universität Uppsala einen Ehrendoktortitel verliehen, 1998 von der Universität Joseph Fourier in Grenoble[1] und November 2000 von der Carl-von-Ossietzky-Universität in Oldenburg. 2007 wurde er Fellow der ACM.

Pnueli starb am 2. November 2009 an einer Hirnblutung.

Weblinks

Einzelnachweise

  1. a b c Pnuelis Kurzbiographie
  2. Turing Award Ehrung

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Amir Pnueli — Saltar a navegación, búsqueda Amir Pnueli Nacimiento 22 de abril de 1941 Nahalal, Israel …   Wikipedia Español

  • Amir Pnueli — Le Pr Amir Pnueli en janvier 2005 Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d une hémorragie intra cérébrale …   Wikipédia en Français

  • Amir Pnueli — Infobox Scientist name = Amir Pnueli image width = 150px caption = birth date = Birth date and age|1941|4|22|mf=y birth place = Nahalal, Israel death date = death place = residence = citizenship = nationality = Israeli ethnicity = field =… …   Wikipedia

  • Pnueli — Amir Pnueli 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina) ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen… …   Deutsch Wikipedia

  • Amir — (arabe : امیر) est un prénom arabe qui signifie prince. Il possède la même étymologie que émir. Le féminin de ce prénom est Amira. On le rapproche de prénoms germaniques formés à l aide de rik, le roi, par exemple Éric ; il est donc… …   Wikipédia en Français

  • PNUELI, AMIR — (1941– ), Israeli computer scientist. Born in Nahalal, Israel, he gained his B.Sc. in mathematics from the Haifa Technion and Ph.D. in applied mathematics from the Weizmann Institute for his thesis on calculating ocean tides. His interest in… …   Encyclopedia of Judaism

  • Пнуели, Амир — Амир Пнуели אמיר פנואלי Амир Пнуели, 1996 год …   Википедия

  • Weizmann Institute of Science — Infobox University name = Weizmann Institute of Science native name = מכון ויצמן למדע latin name = motto = established = 1949 type = Public endowment = staff = faculty = president = Prof. Daniel Zajfman provost = principal = rector = chancellor …   Wikipedia

  • Instituto Weizmann de Ciencias — מכון ויצמן למדע Instituto Weizmann de Ciencias Tipo Pública Fundación 1949 Localización Dirección Rehovot Israel …   Wikipedia Español

  • List of Israel Prize recipients — This is a partial list of winners of the Israel Prize.By year2008*David Weiss Halivni Talmud *Moshe Oren Biochemistry *Noga Alon Mathematics *Nissan Nativ Theater cite news |first=|last=|title=Nissan Nativ dead at 86: Prominent Israeli theater… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”