Edmund Clarke


Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA – † 22. december 2020[1]) bol americký informatik známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking). Za tento prínos dostal v roku 2007 spolu s Ernestom Allenom Emersonom a Josephom Sifakisom Turingovu cenu.

Edmund Melson Clarke
americký informatik
Edmund Clarke
Narodenie27. júl 1945
Newport News, Virgínia, USA
Úmrtie22. december 2020 (75 rokov)
Alma materCornell University
Deti3
Odkazy
Webstránkacmu.edu
CommonsSpolupracuj na Commons Edmund Clarke

ReferencieUpraviť

  1. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science [online]. . Dostupné online.

Iné projektyUpraviť

Externé odkazyUpraviť