Search results
We did not find results for: Edmund M. Clarke.
Check spelling or type a new query.
Related searches
Searches related to Edmund M. Clarke
edmund m clarke cmu
Yahoo Web Search
- Edmund M. Clarke
American computer scientist
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying h... Wikipedia
- July 27, 1945, Newport News, Virginia, United States
- December 22, 2020, Pittsburgh, Pennsylvania, United States
- Cornell University, University of Virginia, Duke University
People also search for
