Joseph Sifakis

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Joseph Sifakis en 2008.
Nombre Joseph Sifakis
Nacimiento 26 de diciembre de 1946 (67 años)
Heraclión, Creta Flag of Greece.svg Grecia
Nacionalidad griego - francés
Alma máter Universidad Politécnica Nacional de Atenas
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]


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