Back جوزيف سيفاكيس Arabic چوزيف سيفاكيس ARZ جوزف سیفاکیس AZB Joseph Sifakis Catalan Joseph Sifakis Czech Ζοζέφ Σιφακίς Greek Joseph Sifakis English Joseph Sifakis Esperanto Joseph Sifakis Spanish جوزف سیفاکیس Persian
Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer[1][2] Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei.
- ↑ Το βραβείο Turing 2007 σε Έλληνα ερευνητή ( vom 16. Juli 2011 im Internet Archive), Kathimerini, 4. Februar 2008 (griechisch)
- ↑ Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4. Februar 2008 (französisch)