Joseph Sifakis , Fransız-Yunan bilgisayar bilimcisi. Edmund M. Clarke ve E. Allen Emerson ile birlikte gerçekleştirdiği model denetimi çalışmasıyla 2007 Turing Ödülü'nü almaya hak kazanmıştır. Atina Ulusal Teknik Üniversitesi Elektrik Mühendisliği Bölümü mezunudur. Kaynakça Kategori:1946 doğumlular Kategori:Girit doğumlular Kategori:Yaşayan insanlar Kategori:Yunan akademisyenler Kategori:Yunan bilgisayar bilimcileri Kategori:Fransız bilgisayar bilimcileri Kategori:Turing Ödülü sahipleri Kategori:Atina Ulusal Teknik Üniversitesinde öğrenim görenler Kategori:Grenoble Alpleri Üniversitesinde öğrenim görenler Kategori:Fransa'daki Yunan göçmenler Kategori:20. yüzyıl Fransız bilim insanları