Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο. Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Σχόλια Αναγνωστών
στο Ροή
Οικονομία
Επιχειρήσεις
Επικαιρότητα
3 ώρες πριν
Ηνωμένο Βασίλειο: Η Google επενδύει 5 δισεκατομμύρια στερλίνες με έμφαση στην ΑΙ τεχνολογία
4 ώρες πριν
Credia Bank: Εξαγόρασε το 70% της HSBC Μάλτας με 200 εκατ. ευρώ – Αποκτά διεθνές αποτύπωμα και σημαντικά...
ENIKOS NETWORK
Φάρμα: Άρχισαν τα… όργανα στην ομάδα των Πράσινων με έντονο καβγά – «Σου ‘χω μιλήσει έτσι εγώ ποτέ;»
Hellenic Train: Ανεστάλη η σιδηροδρομική κυκλοφορία στο τμήμα Άνω Λιόσια – Ασπρόπυργος λόγω πυρκαγιάς στο ύψος του Ασπροπύρ...
