Edmund M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a recipient of the 2007 Association for Computing Machinery A.M. Turing Award.

Biography

Clarke received a B.A. degree in mathematics from the University of Virginia, Charlottesville, VA, in 1967, an M.A. degree in mathematics from Duke University, Durham NC, in 1968, and a Ph.D. degree in Computer Science from Cornell University, Ithaca NY in 1976. After receiving his Ph.D., he taught in the Department of Computer Science at Duke University, for two years. In 1978 he moved to Harvard University, Cambridge, MA where he was an Assistant Professor of Computer Science in the Division of Applied Sciences. He left Harvard in 1982 to join the faculty in the Computer Science Department at Carnegie Mellon University, Pittsburgh, PA. He was appointed Full Professor in 1989. In 1995 he became the first recipient of the FORE Systems Professorship, an endowed chair in the Carnegie Mellon School of Computer Science.

EM

EM, Em or em may refer to:

Cities

Codes

EM is:

Computing

Media

Music

1 kilometre

To help compare different orders of magnitude this page lists lengths between 1 kilometre and 10 kilometres (10³ and 10⁴metres).

Conversions

1 kilometre (unit symbol km) is equal to:

Human-defined scales and structures

1 centimetre

To help compare different orders of magnitude this page lists lengths between 10⁻²m and 10⁻¹ m (1 cm and 10 cm).

See also

References