Joseph Sifakis | |
|---|---|
 | |
| Doğum | 26 Aralık 1946 Girit, Yunanistan |
| Vatandaşlık | Fransa, Yunanistan |
| Eğitim | Atina Ulusal Teknik Üniversitesi Université Grenoble-Alpes |
| Ödüller | Turing Ödülü (2007) |
| Kariyeri | |
| Dalı | Bilgisayar bilimi |
| Çalıştığı kurumlar | CNRS |
Joseph Sifakis (Yunanca: Ιωσήφ Σηφάκης), 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.
