Joseph Sifakis
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.[1] 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
- ^ Aperçu historique de l’immigration grecque à Grenoble 23 Temmuz 2012 tarihinde Wayback Machine sitesinde arşivlendi., Evangélia Moussouri, Écarts d'identités 95-96, ISSN 1252-6665, Musée Dauphinois, 2-905375-08-6
