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.
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 | |
Kaynakça
- ^ Aperçu historique de l’immigration grecque à Grenoble 23 Temmuz 2012 tarihinde Wayback Machine sitesinde ., Evangélia Moussouri, Écarts d'identités 95-96, ISSN 1252-6665, Musée Dauphinois,
![]() | Fransız bilim insanı ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |