Ο διακεκριμένος επιστήμονας κ. Ιωσήφ Σηφάκης ένας εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο, μέλος της Γαλλικής Ακαδημίας Επιστήμων, της Γαλλικής Ακαδημίας Τεχνολογιών και της Ευρωπαϊκής Ακαδημίας και της American Academy of Arts and Sciences, κάτοχος του βραβείου Turing 2007, ήταν ο κεντρικός ομιλητής στην επίσημη έναρξη του 3ου Πανελλήνιου Επιστημονικού Συνεδρίου με διεθνή συμμετοχή του Ι.Α.Κ.Ε., με θέμα: «Ανθρωπιστικές Επιστήμες, Εκπαίδευση, Κοινωνία και Πολιτική Παιδεία», την Παρασκευή 5 Μαϊου 2017 στις 7.00 μ.μ., όπου ανέπτυξε το θέμα: «Κατανοώντας και αλλάζοντας τον κόσμο»

Ο Ιωσήφ Σηφάκης είναι ηλεκτρολόγος μηχανικός του Εθνικού Μετσόβιου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble. Είναι διευθυντής του Center for Integrative Research στη Grenoble. Διετέλεσε καθηγητής στο Πολυτεχνείο της Λωζάνης (EPFL) και είναι ο ιδρυτής του εργαστηρίου Verimag στη Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Στις αρχές της δεκαετίας του 90 ανέπτυξε σε συνεργασία με την βιομηχανία και ιδιαίτερα την Airbus την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων.

Ο Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking, που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google.

Για τη συμβολή του στη θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 (http://en.wikipedia.org/wiki/Turing_Award), το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική.