Amir Pnueli

Autor/Urheber:

David Monniaux

Attribution:

Das Bild ist mit 'Attribution Required' markiert, aber es wurden keine Informationen über die Attribution bereitgestellt. Vermutlich wurde bei Verwendung des MediaWiki-Templates für die CC-BY Lizenzen der Parameter für die Attribution weggelassen. Autoren und Urheber finden für die korrekte Verwendung der Templates hier ein Beispiel.

Shortlink:

https://dewiki.de/b/2ccb5

Quelle:

Wikimedia Commons

Größe:

436 x 480 Pixel (34854 Bytes)

Beschreibung:

Pr Amir Pnueli, 1996 Turing Award laureate

Kommentar zur Lizenz:

Copyright © 2005 David Monniaux

Lizenz:

CC BY-SA 1.0

Einschränkungen:

personality

Credit:

Photograph taken by myself in Paris, France at the VMCAI '05 conference on January 18, 2005

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Wed, 21 Feb 2024 20:06:04 GMT

Relevante Bilder

(c) Johannes Jansson/norden.org, CC BY 2.5 dk

(c) Bundesarchiv, Bild 183-1989-1104-053 / Link, Hubert / CC-BY-SA 3.0

(c) Rob Hodgkinson, CC BY-SA 4.0

© Raimond Spekking / CC BY-SA 4.0 (via Wikimedia Commons)

(c) Bundesarchiv, B 145 Bild-F041440-0013 / Engelbert Reineke / CC-BY-SA 3.0

photo©ErlingMandelmann.ch, CC BY-SA 3.0

Relevante Artikel

Amir Pnueli 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. .. weiterlesen

Das Jahr 2009 stand insbesondere im Zeichen der globalen Finanzkrise. Mit Barack Obama trat im Januar erstmals ein Afroamerikaner die US-Präsidentschaft an. In der Musikgeschichte prägte vor allem der frühe Tod des sogenannten King of Pop Michael Jackson das Jahr 2009. .. weiterlesen

Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben. Er gilt als höchste Auszeichnung in der Informatik, vergleichbar dem Nobelpreis oder der Fields-Medaille. .. weiterlesen