Joseph Sifakis

Vikipedi, özgür ansiklopedi
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Doğum 26 Aralık 1946 (1946-12-26) (74 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[değiştir | kaynağı değiştir]

  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