Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο. Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Σχόλια Αναγνωστών
στο Ροή
Οικονομία
Επιχειρήσεις
Επικαιρότητα
30 λεπτά πριν
Φιλοδωρήματα: Τι ίσχυε έως σήμερα για το αφορολόγητο όριο και τι αλλάζει – Με αναδρομική ισχύ η...
30 λεπτά πριν
Φιλοδωρήματα: Τι ίσχυε έως σήμερα για το αφορολόγητο όριο και τι αλλάζει – Με αναδρομική ισχύ η...
ENIKOS NETWORK
Πλεύρης για Θέουτα: Τα κυκλώματα καραδοκούν – Είμαστε έτοιμοι να λάβουμε κάθε απαραίτητο μέτρο
Σε κατάσταση μέγιστης ετοιμότητας ο μηχανισμός Πολιτικής Προστασίας, λόγω των πολύ ισχυρών ανέμων
