Joseph Sifakis
De Wikipedia, la enciclopedia libre
| Joseph Sifakis | |
|---|---|
 Joseph Sifakis en 2008.
|
|
| Nombre | Joseph Sifakis |
| Nacimiento | 26 de diciembre de 1946 (66 años) Heraclión, Creta  Grecia |
| Nacionalidad | griego - francés |
| Ocupación | informático |
| Premios | Premio Turing 2007 |
| Sitio web Joseph Sifakis |
|
Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.
Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble.
Enlaces externos[editar]
- Anuncio del Premio Turing 2007. (en inglés)
| Predecesor: Frances Elizabeth Allen |
Premio Turing 2007 |
Sucesor: Barbara Liskov |
