December 17, 2004
Edmund M. Clarke, FORE Systems professor of computer science and professor of electrical and computer engineering, has been elected an IEEE Fellow, effective 2005.
The Institute of Electrical and Electronics Engineers (IEEE), a technical professional association with more than 360,000 members in some 175 countries, developed the grade of Fellow to recognize individuals who have demonstrated outstanding proficiency and have achieved unusual distinction in the profession.
Clarke is being recognized for his contributions to model checking methods for verification of digital circuitry. Through his research, he and his students developed a technique to reduce the number of logical errors in digital circuit design, a problem that has become more significant than manufacturing difficulties in bringing new computer products to market.
Model checking searches all possible states of a circuit to determine if its behavior satisfies a specification in a specialized notation called temporal logic, a language for making statements about the behavior of a system over time.
A faculty member at Carnegie Mellon since 1982, Clarke holds a bachelor's degree in mathematics from the University of Virginia. He received both his master's and doctor's degrees in computer science from Cornell University.
In 1999, Clarke was a co-winner, along with Randy Bryant, Allen Emerson, and Kenneth McMillan, of the Association for Computing Machinery's Kanellakis Award for the development of Symbolic Model Checking. For this work he also received a Technical Excellence Award from the Semiconductor Research Corporation in 1995 and an Allen Newell Award for Excellence in Research from the Carnegie Mellon Computer Science Department in 1999.
Clarke has served on the editorial boards of Distributed Computing and Logic and Computation and is currently on the editorial board of IEEE Transactions in Software Engineering. He is editor-in-chief of Formal Methods in Systems Design. He is on the steering committees of two international conferences, Logic in Computer Science and Computer-Aided Verification.
Clarke is a Fellow of the Association for Computing Machinery, a member of the IEEE Computer Society, Sigma Xi, and Phi Beta Kappa.
Clarke is being recognized for his contributions to model checking methods for verification of digital circuitry.