Edmund Clarke FLoC 2006

Autor/Urheber:

Dennis Hamilton

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/9b115

Quelle:

Wikimedia Commons

Größe:

432 x 640 Pixel (125834 Bytes)

Beschreibung:

FLoC 2006: Edmund Clarke

Lizenz:

CC BY 2.0

Credit:

https://www.flickr.com/photos/orcmid/219674204/

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Fri, 06 Sep 2024 16:21:47 GMT

Relevante Bilder

(c) Rob Hodgkinson, CC BY-SA 4.0

Relevante Artikel

Edmund „Ed“ Melson Clarke, Jr. war ein US-amerikanischer Informatiker. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet und wurde dafür 2007 mit dem Turing Award ausgezeichnet. Clarke war Informatik-Professor an der Carnegie Mellon University. .. 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