Name: Edmund Melson Clarke, Jr.

Born: July 27, 1945

  • Computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
  • The FORE systems professor of Computer Science at Carnegie Mellon University.

Honors and awards

  • ACM Turing Award (2007).
  • ACM Paris Kanellakis Award (1999).
  • IEEE Computer Society Harry H. Goode Memorial Award (2004).