Informatique, Le saviez-vous ?

Joseph Sifakis a remporté le prix Turing 2007 qui est l’une des plus hautes distinctions scientifiques en informatique, souvent considérée comme l’équivalent du prix Nobel pour les informaticiens