Joseph Sifakis , la enciclopedia libre

Joseph Sifakis

Joseph Sifakis en 2008.
Información personal
Nombre en griego Ιωσήφ Σηφάκης Ver y modificar los datos en Wikidata
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 Ver y modificar los datos en Wikidata
Supervisor doctoral Louis Bolliet y Jean Kuntzmann Ver y modificar los datos en Wikidata
Información profesional
Ocupación informático
Cargos ocupados Director de investigación del CNRS Ver y modificar los datos en Wikidata
Empleador
Miembro de
Sitio web
Distinciones Premio Turing 2007

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]


Predecesor:
Frances Elizabeth Allen
Premio Turing
2007
Sucesor:
Barbara Liskov