Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como "model checking", para verificar diseños de software o hardware.