Edmund Clarke

Edmund Clarke (Col ’67 CM) has been elected University Professor Emeritus in the computer science department at Carnegie Mellon University. Before joining the Carnegie Mellon faculty in 1982, he earned a master’s degree from Duke University and a doctorate from Cornell University, and taught at Duke and Harvard universities. At Carnegie Mellon, he was the first recipient of the endowed FORE Systems Professorship in 1995 and became a University Professor in 2008. Mr. Clarke has received numerous awards for his contributions to formal verification of hardware and software correctness, including the IEEE Computer Society’s Harry H. Goode Memorial Award, ACM Kanellakis Theory and Practice Award, ACM Turing Award, CADE Herbrand Award and the International Conference on Computer-Aided Verification CAV Award. He received the 2014 Franklin Institute Bower Award and Prize for Achievement in Science for his work in verification of computer systems, and has received an Einstein Professorship from the Chinese Academy of Sciences and honorary doctorates from the Vienna University of Technology and the University of Crete.