E. Allen Emerson

An American computer scientist who, with Clarke and Sifakis, co-invented Model Checking, fundamentally changing how correctness properties of systems could be automatically verified.