Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο. Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Σχόλια Αναγνωστών
στο Ροή
Οικονομία
Επιχειρήσεις
Επικαιρότητα
17 λεπτά πριν
Ρευματοκλοπές: Ξεπερνά τα 450 εκατ. ευρώ η ετήσια επιβάρυνση για τους καταναλωτές – Τα μέτρα που...
17 λεπτά πριν
Ρευματοκλοπές: Ξεπερνά τα 450 εκατ. ευρώ η ετήσια επιβάρυνση για τους καταναλωτές – Τα μέτρα που...
ENIKOS NETWORK
Λουτσέσκου: Τέλος από τον ΠΑΟΚ – Αναμένεται η επίσημη ανακοίνωση
Ρωσία: «Ανασταίνουν» νεκρούς στρατιώτες μέσω AI για 133 δολάρια την εικόνα – Κερδοσκοπούν πάνω στους τάφους χιλιάδων πεσόντ...
