Edmund Clarke

Name: Edmund Melson Clarke, Jr.

Born: July 27, 1945

Computer-related contributions

• 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).