Joseph Sifakis

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 

1946 doğumlular
Girit doğumlular
Yaşayan insanlar
Yunan akademisyenler
Yunan bilgisayar bilimcileri
Fransız bilgisayar bilimcileri
Turing Ödülü sahipleri
Atina Ulusal Teknik Üniversitesinde öğrenim görenler
Grenoble Alpleri Üniversitesinde öğrenim görenler
Fransa'daki Yunan göçmenler
20. yüzyıl Fransız bilim insanları