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