- Pnueli
-
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
- Pnuelis Website an der NYU (englisch)
- Pnuelis Profil am Weizmann-Institut (englisch)
Einzelnachweise
Personendaten NAME Pnueli, Amir KURZBESCHREIBUNG israelischer Informatiker und Turing-Preisträger GEBURTSDATUM 22. April 1941 GEBURTSORT Nahalal, Palästina
Wikimedia Foundation.