Joseph Sifakis

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Joseph Sifakis en 2008.
Información personal
Nombre en griego Ιωσήφ Σηφάκης Ver y modificar los datos en Wikidata
Nacimiento 26 de diciembre de 1946 (71 años)
Heraclión, Creta Flag of Greece.svg Grecia
Nacionalidad griego - francés
Educación
Educado en
Información profesional
Ocupación informático
Empleador
Miembro de
Distinciones Premio Turing 2007
Web
Sitio web

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