Καθηγητής Ιωσήφ Σηφάκης Ο Καθηγητής Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google. Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007, το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική. Σήμερα, τα ενδιαφέροντα του επικεντρώνονται στην μελέτη μεθόδων κατασκευής ενσωματωμένων συστημάτων υψηλής ασφάλειας και πιστότητας, ιδιαίτερα αυτονόμων συστημάτων. Ο Ιωσήφ Σηφάκης διετέλεσε Καθηγητής στο Πολυτεχνείο της Λωζάνης (EPFL). Είναι ο ιδρυτής του εργαστηρίου Verimag στην Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Αρχές των ετών 90 ανέπτυξε σε συνεργασία με την βιομηχανία και ιδιαίτερα την Airbus, την τεχνολογία προγραμματισμού συστημάτων fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων.  Ο Ιωσήφ Σηφάκης είναι μέλος της Γαλλικής Ακαδημίας Επιστήμων, της Γαλλικής Ακαδημίας Τεχνολογιών, της Ευρωπαϊκής Ακαδημίας, της American Academy of Arts and Sciences, της National Academy of Engineering των ΗΠΑ και της Κινεζικής Ακαδημίας Επιστημών. Το γαλλικό κράτος του απένειμε το 2009 τον τίτλο του Μεγάλου Αξιωματούχου Εθνικής Αξίας (Grand Officier de l’Ordre du Mérite) και τον τίτλο του διοικητού της Λεγεώνας της Τιμής (Commandant de la Légion d’Honneur) το 2011. To 2009, του απενεμήθη το Βραβείο του Ιδρύματος της Βουλής των Ελλήνων για τον Κοινοβουλευτισμό και την Δημοκρατία. To 2013 του απενεμήθη ο Ταξιάρχης του Τάγματος του Φοίνικος. Το 2012, του απενεμήθη το Leonardo Da Vinci Medal      Ο Ιωσήφ Σηφάκης διετέλεσε Πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας κατά την περίοδο Φεβρουάριος 2014-Απρίλιος 2016. Ο Ιωσήφ Σηφάκης έχει συγγράψει δύο συλλογές κειμένων και ένα δοκίμιο με τον τίτλο «Κατανοώντας και αλλάζοντας τον κόσμο» (εκδόσεις Αρμός).