Edmund Clarke
De Wikipedia, la enciclopedia libre
| Edmund Clarke | |
|---|---|
 |
|
| Nombre | Edmund Melson Clarke |
| Nacimiento | 27 de julio de 1945 (67 años) Estados Unidos |
| Nacionalidad | estadounidense |
| Ocupación | profesor, investigador, informático |
| Premios | Premio Turing en 2007 |
| Sitio web Edmund Melson Clarke |
|
Edmund Melson Clarke, Jr. (27 de julio de 1945) es un informático teórico estadounidense.
Principalmente reconocido por 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. Junto con E. Allen Emerson y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.
Enlaces externos [editar]
- Anuncio del Premio Turing 2007. (en inglés)
| Predecesor: Frances Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |
