Joseph Sifakis En savoir plus Biographie de Joseph Sifakis directeur de recherche au CNRS, au laboratoire VERIMAG (CNRS/Université Grenoble 1 ) Dernières publications sur Joseph Sifakis Réécouter Joseph Sifakis : lauréat du prix Alan Turing (informatique) 20071hJoseph Sifakis : lauréat du prix Alan Turing (informatique) 2007Continent sciences LE 03/11/2008