Θεωρείται ως μια διάνοια της επιστήμης της πληροφορικής. Στο πρόσφατο συνέδριο της SEFI* στη Θεσσαλονίκη τιμήθηκε με το μετάλλιο Leonardo da Vinci. Ηδη, από το 2007, μαζί με τους συνεργάτες του Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, έχει τιμηθεί με το διεθνές βραβείο Α.Μ.Turing** για τις εργασίες τους στον έλεγχο μοντέλων (Model Checking), που αξιοποιείται πλέον από τις ΙΒΜ, Intel, Microsoft, Google και την Airbus!Ονομάζεται Ιωσήφ (Σήφης) Σηφάκης.

Εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας, είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στη Γκρενόμπλ και είναι ο επιστήμονας από τον οποίο η διεθνής επιστημονική κοινότητα αναμένει την τελειοποίηση των Ενσωματωμένων Συστημάτων που θα επιτρέψουν «Το Διαδίκτυο Αντικειμένων», το «Νέο Ιντερνετ», ενδεχομένως και τη σύγκλιση νανοτεχνολογίας, πληροφορικής, γνωσιολογίας ηλεκτρονικής και μοριακής βιολογίας, «ώστε να πετύχουμε τη βελτίωση των επιδόσεων του ανθρώπου συνδυάζοντας τεχνητή και φυσική νοημοσύνη»!

* Ευρωπαϊκή Εταιρεία για την Εκπαίδευση των Μηχανικών. ** Το βραβείο Turing θεωρείται το «Νόμπελ Πληροφορικής» και από το 1956 απονέμεται κάθε χρόνο σε πρόσωπα που είχαν μια ιδιαίτερη συμβολή στη εξέλιξη της επιστήμης.