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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
(Ανακατεύθυνση από Ιωσήφ Σηφάκης)
Μετάβαση σε: πλοήγηση, αναζήτηση
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Γέννηση
Ηράκλειο
Υπηκοότητα / Χώρα πολιτογράφησης Ελλάδα και Γαλλία
Σπουδές Εθνικό Μετσόβιο Πολυτεχνείο
Ιδιότητα επιστήμονας υπολογιστών και μηχανικός
Βραβεύσεις Ταξιάρχης της Λεγεώνας της Τιμής, Μεγάλος Ταξιάρχης του Εθνικού Τάγματος της Τιμής, Βραβείο Τούρινγκ () και CNRS silver medal
Ιστοσελίδα http://www-verimag.imag.fr/~sifakis/
Commons page Πολυμέσα

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

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

Διετέλεσε επιστημονικός διευθυντής του δικτύου Artist2 (European Network of Excellence for research on Embedded Systems).

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

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

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]