Edmund M. Clarke
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science Emeritus at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, was a recipient of the 2007 Association for Computing Machinery A.M. Turing Award.
From *.wikipedia.org,
General Info
.
Male
Date of Birth
July 27th, 1945
Age
81
Birth Place
United States of America, Virginia
Star Sign
Leo
Social Networks , Links
Interest
Loading Chart...
Lists