Amir Pnueli
Relevante Bilder
Relevante Artikel
Amir PnueliAmir 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
2009Das 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
Turing AwardDer 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