“Ed Clarke and his students have been able to apply abstract logical theories to the real-world problem of making sure our computer systems will really work. His work has been very influential on mine, and I consider it a privilege to have served and worked with him at Carnegie Mellon,” said Bryant, dean of the Carnegie Mellon School of Computer Science.

During the same time period, Sifakis also continued to work on Model Checking, extending the approach to address verification of real-time systems.

Clarke has served on the editorial boards of numerous journals and is the former editor-in-chief of Formal Methods in Systems Design. He is a co-founder, with Sifakis, Robert Kushan and Amir Pnueli, of the annual International Conference on Computer-Aided Verification (CAV), which since 1989 has served as the major forum for research in the field of formal verification. He received a Technical Excellence Award from the Semiconductor Research Corporation in 1995, and the Institute of Electrical and Electronic Engineers (IEEE) Harry M. Goode Memorial Award in 2004. He is a Fellow of both the ACM and the IEEE, and was elected to the National Academy of Engineering in 2005.

Clarke received a bachelor’s degree in mathematics from the University of Virginia and a master’s degree in mathematics from Duke University. He earned a Ph.D. in computer science from Cornell University, and has taught at Harvard and Duke.

Three additional current and emeritus faculty members from Carnegie Mellon have won the Turing Award: Dana Scott in 1976, Raj Reddy in 1994 and Manuel Blum in 1995. Of the 51 recipients of the award in its 42-year history, 10 have been affiliated at some time with Carnegie Mellon as either students or faculty. The ACM will present the 2007 award at the annual ACM Awards Banquet on June 21, 2008, in San Francisco.

About Carnegie Mellon: Carnegie Mellon is a private research university with a distinctive mix of programs in engineering, computer science, robotics, business, public policy, fine arts and the humanities. More than 10,000 undergraduate and graduate students receive an education characterized by its focus on creating and implementing solutions for real problems, interdisciplinary collaboration, and innovation. A small student-to-faculty ratio provides an opportunity for close interaction between students and professors. While technology is pervasive on its 144-acre Pittsburgh campus, Carnegie Mellon is also distinctive among leading research universities for the world-renowned programs in its College of Fine Arts. A global university, Carnegie Mellon has campuses in Silicon Valley, Calif., and Qatar, and programs in Asia, Australia and Europe. For more, see www.cmu.edu.