Ζοζέφ Σιφακίς

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
(Ανακατεύθυνση από Ιωσήφ Σηφάκης)
Μετάβαση σε: πλοήγηση, αναζήτηση
Ζοζέφ Σιφακίς

O Ιωσήφ Σηφάκης (γνωστός διεθνώς ως Joseph Sifakis/ Ζοζέφ Σιφακίς) είναι Ελληνογάλλος ερευνητής της πληροφορικής, ο οποίος τιμήθηκε με Βραβείο Τούρινγκ το 2007 από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών.

Γεννήθηκε στο Ηράκλειο της Κρήτης το 1946, σπούδασε ηλεκτρολόγος μηχανικός στο Εθνικό Μετσόβιο Πολυτεχνείο και πληροφορική στο Πανεπιστήμιο της Γκρενόμπλ με μία γαλλική υποτροφία^ , περίοδο στην διάρκεια της οποίας και απέκτησε την γαλλική υπηκοότητα. Ζει στη Γαλλία και εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών στο εργαστήριο VERIMAG κοντά στη Γκρενόμπλ, του οποίου είναι ιδρυτής^ .

Είναι επίσης συνεργάτης του δικτύου Artist2 (European Network of Excellence for research on Embedded Systems).

Σημειώσεις[Επεξεργασία | επεξεργασία κώδικα]

  1. ^ Εφημερίδα Η Καθημερινή, 04-02-2008. [1]
  2. ^ Εφημερίδα Ελευθεροτυπία, 05-02-2008. [2]

Εξωτερικές συνδέσεις[Επεξεργασία | επεξεργασία κώδικα]