Joseph Sifakis

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Joseph Sifakis
Joseph Sifakis img 0966.jpg
Doğum 26 Aralık 1946 (1946-12-26) (72 yaşında)
Girit, Yunanistan
Vatandaşlığı Fransa, Yunanistan
Dalı Bilgisayar bilimi
Çalıştığı yerler CNRS
Öğrenim Atina Ulusal Teknik Üniversitesi
Université Grenoble-Alpes
Aldığı ödüller Turing Ödülü (2007)

Joseph Sifakis (Modern 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, Evangélia Moussouri, Écarts d'identités 95-96, ISSN 1252-6665, Musée Dauphinois, ISBN 2-905375-08-6