Biography
Dr. Clarke is the FORE Systems
University Professor of Computer Science and Professor of Electrical
and Computer Engineering at Carnegie Mellon University. He is the
former editor-in-chief of Formal Methods in Systems Design and a
co-founder of the International Conference on Computer Aided
Verification. He received a Technical Excellence Award from the
Semiconductor Research Corporation in 1995. He was a co-winner with
Randy Bryant, Allen Emerson, and Kenneth McCMillian of the ACM
Kannellakis Award in 1998. In 1999 he received an Allen Newell Award
for Excellence in Research from the Carnegie Mellon Computer Science
Department. He received the IEEE Harry M. Goode Memorial Award in 2004,
and was elected to the National Academy of Engineering in 2005. He was
a recipient with Allen Emerson and Joseph Sifakis of the 2007 ACM
Turing Award, and is the 2008 recipient of the Herbrand Award for
Automated Reasoning. He is a Fellow of the ACM and IEEE and a member of
Sigma Xi and Phi Beta Kappa. Dr. Clarke received a B.A. degree in
mathematics from the University of Virginia, a M.A. degree in
mathematics from Duke University, and a Ph.D. degree in computer
science from Cornell University. He has taught at Duke and Harvard.