Joseph Sifakis
Joseph Sifakis | |
---|---|
![]() | |
Doğum | 26 Aralık 1946 (77 yaşında) 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
![]() | Fransız bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |