Joseph Sifakis

chercheur en informatique français d'origine grecque