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
[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[editar]


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