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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Όνομα στη
μητρική γλώσσα
Ιωσήφ Σηφάκης (Ελληνικά)
Γέννηση 26  Δεκεμβρίου 1946
Ηράκλειο
Υπηκοότητα Ελλάδα
Γαλλία
Εκπαίδευση και γλώσσες
Σπουδές Εθνικό Μετσόβιο Πολυτεχνείο
Πληροφορίες ασχολίας
Ιδιότητα επιστήμονας υπολογιστών
μηχανικός
Εργοδότης Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας
Αξιώματα και βραβεύσεις
Βραβεύσεις Ταξιάρχης της Λεγεώνας της Τιμής
Μεγάλος Ταξιάρχης του Εθνικού Τάγματος της Τιμής
Βραβείο Τούρινγκ (2007)
CNRS silver medal
Ιστοσελίδα
Επίσημη ιστοσελίδα
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]

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