Pnueli

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 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 Rechowot.

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 lehrt 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] 2007 wurde er Fellow der ACM.

Weblinks

Einzelnachweise

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

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • 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

  • 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

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

  • 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 …   Deutsch Wikipedia

  • 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

  • Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia

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

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

  • Пнуэли, Амир — Амир Пнуели אמיר פנואלי Амир Пнуели, 1996 год Дата рождения: 22 апреля 1941(19410422) Место рождения …   Википедия

Share the article and excerpts

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