Joseph Sifakis
Joseph Sifakis | ||
---|---|---|
Joseph Sifakis en 2008. | ||
Información personal | ||
Nombre en griego | Ιωσήφ Σηφάκης | |
Nacimiento | 26 de diciembre de 1946 (77 años) Heraclión, Creta Grecia Grecia | |
Nacionalidad | griega - francesa | |
Educación | ||
Educado en | Universidad Politécnica Nacional de Atenas | |
Supervisor doctoral | Louis Bolliet y Jean Kuntzmann | |
Información profesional | ||
Ocupación | informático | |
Cargos ocupados | Director de investigación del CNRS | |
Empleador | ||
Miembro de |
| |
Sitio web | Joseph Sifakis | |
Distinciones | Premio Turing 2007 | |
[editar datos en Wikidata] |
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
- Anuncio del Premio Turing 2007. (en inglés)
Predecesor: Frances Elizabeth Allen | Premio Turing 2007 | Sucesor: Barbara Liskov |
- Datos: Q92781
- Multimedia: Joseph Sifakis / Q92781