Allen Emerson, por su trabajo en el método conocido como "model checking".