Zum Inhalt springen

Amir Pnueli

aus Wikipedia, der freien Enzyklopädie

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 und dafür 1996 mit dem Turing Award ausgezeichnet wurde.

Datei:Amir Pnueli.jpg
Amir Pnueli (2005)

Leben

Amir 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 bei Chaim Leib Pekeris (Solution of Tidal Problems in Simple Basins).<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 18997 | {{#ifeq: {{#property:P549}} | 18997 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}{{#if: 18997 | Vorlage:MathGenealogyProject/Wartung/id verwendet}}{{#if: | Vorlage:MathGenealogyProject/Wartung/name verwendet}}{{#ifeq:|{{#invoke:WLink|getArticleBase}}|Vorlage:MathGenealogyProject/Wartung/unnötige Verwendung von Parameter 2|}}.</ref>

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.<ref name="bio">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üfer entwarf. Außerdem arbeitete er mit Harel an der Semantik und Implementation von dessen Zustandsübergangsdiagrammen.<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 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"><templatestyles src="Webarchiv/styles.css" />{{#if:20080228224239 

      | {{#ifeq: 20080228224239 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20080228224239}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20080228224239}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Turing Award Ehrung | {{#invoke:WLink|getEscapedTitle|Turing Award Ehrung}} | {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20080228224239|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING}}
    || {{#if:  || }}
  }}{{#if: Turing Award Ehrung
    | {{#if: {{#invoke:WLink|isBracketedLink|Turing Award Ehrung}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://awards.acm.org/citation.cfm?id=5846946&srt=all&aw=140&ao=AMTURING }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</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. 2007 wurde er Fellow der ACM. Seit 2001 war er Mitglied der Israelischen Akademie der Wissenschaften.

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Amir Pnueli|Amir Pnueli|Amir Pnueli}}|uselang=de}} Commons: {{#if:Amir Pnueli|Amir Pnueli|{{#if:Amir Pnueli|Amir Pnueli|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if: 

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Amir Pnueli 

   | {{#ifeq: {{#invoke:Str|left|amir pnueli|9}} 
       | category:
| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Einzelnachweise

<references />

Vorlage:Navigationsleiste Träger des Turing-Awards

{{#ifeq: p | p | | {{#if: 1076344267n/85/81764759337776 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1076344267n/85/81764759337776 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1076344267 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1076344267 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/85/817647 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/85/817647 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 59337776 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 59337776 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Pnueli, Amir | {{#if: | {{#if: israelischer Informatiker und Turing-Preisträger | {{#if: 22. April 1941 | {{#if: Nahalal, Palästina | {{#if: 2. November 2009 | {{#if: New York City, New York |
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

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Amir_Pnueli&oldid=1248132“