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