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

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

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]

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