İçeriğe atla

Joseph Sifakis

Vikipedi, özgür ansiklopedi
Joseph Sifakis
Doğum26 Aralık 1946 (77 yaşında)
Girit, Yunanistan
VatandaşlıkFransa, Yunanistan
EğitimAtina Ulusal Teknik Üniversitesi
Université Grenoble-Alpes
ÖdüllerTuring Ödülü (2007)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarCNRS

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.

  1. ^ 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