Edmund M. Clarke

Rarity: Uncommon

A topic a little better known than average, read and translated beyond its own country.

Rarity follows how well known the article is: its views on the French and English Wikipedia over a year, and the number of languages it exists in.

At a glance

Class

Figure

Domain

Science and technology

Knowledge cost

3

Influence

6

Resistance

3

In collections

Nobody has pulled it yet.

What Wikipedia says

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 hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University.

Excerpt from the Wikipedia article “Edmund M. Clarke”, under the CC BY-SA 4.0 license. Read the article on Wikipedia

Image: Dennis Hamilton, CC BY 2.0, via Wikimedia Commons.