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.
Emerson trabaja como profesor en la Universidad de Texas, Austin. Junto con Edmund Clarke y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Escribe un comentario o lo que quieras sobre E. Allen Emerson (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)