imported>TaxonKatBot: Bot: Kategorie:Ehemaliges Mitglied der Israelischen Akademie der Wissenschaften umbenannt in Kategorie:Mitglied der Israelischen Akademie der Wissenschaften: laut Diskussion

2025-01-14T06:04:05Z

Bot: Kategorie:Ehemaliges Mitglied der Israelischen Akademie der Wissenschaften umbenannt in Kategorie:Mitglied der Israelischen Akademie der Wissenschaften: laut Diskussion

Neue Seite

'''Amir Pnueli''' (* [[22. April]] [[1941]] in [[Nahalal]], [[Völkerbundsmandat für Palästina|Palästina]]; † [[2. November]] [[2009]] in [[New York City]], [[New York (Bundesstaat)|New York]]) war ein israelischer [[Informatik]]er, der wegweisende Verdienste um die Einführung der [[Temporale Logik|temporalen Logik]] in die Informatik sowie die [[Verifizierung]] von Programmen und Systemen geleistet und dafür 1996 mit dem [[Turing Award]] ausgezeichnet wurde.

[[Datei:Amir Pnueli.jpg|mini|Amir Pnueli (2005)]]

== Leben ==
Amir Pnueli machte einen Bachelor in Mathematik am [[Technion]] in [[Haifa]] und einen [[Ph. D.]] in [[Angewandte Mathematik|angewandter Mathematik]] am [[Weizmann-Institut für Wissenschaften]] in [[Rechovot]] bei [[Chaim Leib Pekeris]] (''Solution of Tidal Problems in Simple Basins'').<ref>{{MathGenealogyProject|id=18997}}.</ref>

Während seiner [[Post-Doktorand]]en-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]].<ref name="bio">[http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html Pnuelis Kurzbiographie].</ref>

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üfung|Modellprüfer]] entwarf. Außerdem arbeitete er mit Harel an der Semantik und Implementation von dessen [[Zustandsübergangsdiagramm]]en.<ref name="bio" />

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 seiner [[Temporale Logik für Programme|Temporalen Logik für Programme]] 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.<ref name="acm">{{Webarchiv|url=http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING |wayback=20080228224239 |text=Turing Award Ehrung }}</ref>
Pnueli starb am 2. November 2009 im Alter von 68 Jahren an einer Hirnblutung.

== Weitere Ehrungen ==
1997 bekam er von der [[Universität Uppsala]] einen Ehrendoktortitel verliehen, 1998 von der [[Universität Joseph Fourier]] in [[Grenoble]]<ref name="bio" /> und November 2000 von der [[Carl-von-Ossietzky-Universität]] in [[Oldenburg (Oldenburg)|Oldenburg]]. 2007 wurde er [[Fellow]] der [[Association for Computing Machinery|ACM]]. Seit 2001 war er Mitglied der [[Israelische Akademie der Wissenschaften|Israelischen Akademie der Wissenschaften]].

== Weblinks ==
{{Commonscat|Amir Pnueli|Amir Pnueli}}
* [http://www.cs.nyu.edu/cs/faculty/pnueli/ Pnuelis Website an der NYU] (englisch)
* [http://www.wisdom.weizmann.ac.il/math/profile/scientists/pnueli-profile.html Pnuelis Profil am Weizmann-Institut] (englisch)

== Einzelnachweise ==
<references />

{{Navigationsleiste Träger des Turing-Awards}}

{{Normdaten|TYP=p|GND=1076344267|LCCN=n/85/817647|VIAF=59337776}}

{{SORTIERUNG:Pnueli, Amir}}
[[Kategorie:Träger des Turing Award]]
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Rechovot)]]
[[Kategorie:Hochschullehrer (Universität Tel Aviv)]]
[[Kategorie:Hochschullehrer (New York University)]]
[[Kategorie:Träger des Israel-Preises]]
[[Kategorie:Mitglied der Israelischen Akademie der Wissenschaften]]
[[Kategorie:Ehrendoktor der Carl von Ossietzky Universität Oldenburg]]
[[Kategorie:Ehrendoktor der Universität Uppsala]]
[[Kategorie:Mitglied der Association for Computing Machinery]]
[[Kategorie:Israeli]]
[[Kategorie:Geboren 1941]]
[[Kategorie:Gestorben 2009]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Pnueli, Amir
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=israelischer Informatiker und Turing-Preisträger
|GEBURTSDATUM=22. April 1941
|GEBURTSORT=[[Nahalal]], Palästina
|STERBEDATUM=2. November 2009
|STERBEORT=[[New York City]], [[New York (Bundesstaat)|New York]]
}}

Amir Pnueli - Versionsgeschichte

imported>TaxonKatBot: Bot: Kategorie:Ehemaliges Mitglied der Israelischen Akademie der Wissenschaften umbenannt in Kategorie:Mitglied der Israelischen Akademie der Wissenschaften: laut Diskussion