Joseph Sifakis
De Wikipedia, la enciclopedia libre
| Joseph Sifakis | |
|---|---|
 Joseph Sifakis en 2008 |
|
| Nombre | Joseph Sifakis |
| Nacimiento |  Grecia, Creta |
| Nacionalidad | francés |
| Ocupación | informático |
Joseph Sifakis es un científico de la computación francés de origen griego, ganador del Premio Turing de 2007 junto con Edmund M. Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.
Sifakis nació en Creta y 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.
[editar] Enlaces externos
- (en inglés)Página personal
- (en inglés)Anuncio del Premio Turing 2007
