Edmund Clarke FLoC 2006
Relevante Bilder
Relevante Artikel
Edmund M. ClarkeEdmund „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
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