Ιωσήφ Σηφάκης

Ιωσήφ Σηφάκης

O Ιωσήφ Σηφάκης είναι Έλληνας ερευνητής, στον οποίο απονεμήθηκε το βραβείο Turing για το 2007, μαζί με τον Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων (model checking), τεχνολογία επαλήθευσης συστημάτων πληροφορικής.

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

Είναι επίσης συνεργάτης του δικτύου Artist2.

Σημειώσεις

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

Εξωτερικές συνδέσεις

• Προσωπική ιστοσελίδα
• Βραβεία Turing για το 2007