Dr. Edmund M. Clarke

            




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.