Skip recommendations

Joseph Sifakis

) |lugar de nacimiento = Heraclión, Creta |fecha de fallecimiento = |lugar de fallecimiento = |nacionalidad =griega - francesa |ocupación = informático |cónyuge = |hijos = |premios=Premio Turing 2007
|web =[http://www-verimag.imag.fr/~sifakis/ Joseph Sifakis] |firma = }}

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. proporcionado por Wikipedia
Mostrando 1 - 1 Resultados de 1 Para Buscar 'Sifakis, Joseph', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Publicado 2005
    Otros Autores:
    Texto Completo
    Electrónico eBook