에드먼드 M. 클라크

소개

에드먼드 멜슨 클라크 2세(Edmund Melson Clarke, Jr., 1945년 7월 27일 ~ 2020년 12월 22일)는 미국의 컴퓨터 과학자이다.

Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.