Edmund M. Clarke
De Wikipedia, la enciclopedia libre
Edmund Melson Clarke, Jr. 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. Clarke es el Profesor FORE Systems de Ciencias de la Computación en la Universidad Carnegie Mellon. Clarke, junto con E. Allen Emerson y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
[editar] Enlaces externos
- (en inglés)Página personal en Carnegie Mellon
- (en inglés)Anuncio del Premio Turing 2007
