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

Ο Ιωσήφ Σηφάκης είναι ηλεκτρολόγος μηχανικός του Εθνικού Μετσοβίου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble. Είναι διευθυντής του Center for Integrative Research στην Γκρενόμπλ και καθηγητής στο Πολυτεχνείο της Λωζανης (EPFL). Ο Ιωσήφ Σηφάκης είναι ο ιδρυτής του εργαστηρίου Verimag στην Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Αρχές των ετών 90 ανέπτυξε σε συνεργασία με την βιομηχανια και ιδιατερα την Airbus, την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων. Ο Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google. Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 (http://en.wikipedia.org/wiki/Turing_Award ), το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική. Σήμερα, τα ενδιαφέροντα του επικεντρώνονται στην μελέτη μεθόδων κατασκευής ενσωματωμένων συστημάτων υψηλής ασφάλειας και πιστότητας. Ο Ιωσήφ Σηφάκης είναι μέλος της Γαλλικής Ακαδημίας Επιστήμων, της Γαλλικής Ακαδημίας Τεχνολογιών και της Ευρωπαϊκής Ακαδημίας και της American Academy of Arts and Sciences. Το γαλλικό κράτος του απένειμε το 2009 τον τίτλο του Μεγάλου Αξιωματούχου Εθνικής Άξίας (Grand Officier de l’Ordre du Merite) και τον τίτλο του διοικητού της Λεγεώνας της Τιμής (Commandant de la Legion d’Honneur) το 2011. To 2009, του απενεμήθη το Βραβείο του Ίδρύματος της Βουλής των Ελλήνων για τον Κοινοβουλευτισμό και την Δημοκρατία. To 2013 του απενεμήθη ο Ταξιάρχης του Τάγματος του Φοίνικος. Το 2012, του απενεμήθη το Leonardo Da Vinci Medal (http://www.sefi.be/?page_id=17). Ο Ιωσήφ Σηφάκης είναι Πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας.