|
Edmund M. Clarke, FORE Systems Professor of Computer Science, Carnegie-Mellon's school of Computer Science, received his Ph.D. degree in computer science from Cornell University. After teaching at Duke University and Harvard University, Clarke joined Carnegie-Mellon and became the first recipient of the FORE Systems Professorship. Clarke's research interests include software and hardware verification and automatic theorem proving, which have led to the pioneering of model checking for hardware verification. Clarke has served on the editorial boards of Distributed Computing, Logic and Computation and IEEE Transactions in Software Engineering, and is the former editor-in-chief of Formal Methods in Systems Design. Clarke received a Technical Excellence Award from the Semiconductor Research Corporation, an Allen Newell Award for Excellence in Research from the Carnegie-Mellon Computer Science Department, an ACM Kanellakis Award for the development of symbolic checking, and an IEEE Harry H. Goode Memorial Award for significant and pioneering contributions to formal verification of hardware and software systems. Clarke is a member of the National Academy of Engineering, fellows of the Association for Computing Machinery and the IEEE Computer Society, and a member of Phi Beta Kappa. | 