Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο.
Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Ανακαλύψτε περισσότερα για τον διεθνούς φήμης Κρητικό επιστήμονα στο ellines.com
Διαβάστε επίσης:
Έλληνας συνθέτης κέρδισε Grammy και Bafta την ίδια μέρα
Ηλεκτρονικό παιχνίδι δίνει «ζωή» στους αρχαίους ελληνικούς αμφορείς
