Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο. Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Σχόλια Αναγνωστών
στο Ροή
Οικονομία
Επιχειρήσεις
Επικαιρότητα
11 λεπτά πριν
Προϋπολογισμός: Σχεδόν στα 3 δισ. ευρώ το πρωτογενές πλεόνασμα στο πρώτο δίμηνο – Τι δείχνουν τα...
11 λεπτά πριν
Προϋπολογισμός: Σχεδόν στα 3 δισ. ευρώ το πρωτογενές πλεόνασμα στο πρώτο δίμηνο – Τι δείχνουν τα...
4 ημέρες πριν
ΔΕΠΑ Εμπορίας: Νέο φορτίο LNG από τις ΗΠΑ στη Ρεβυθούσα
2 ημέρες πριν
Η Realnews στο www.pressreader.com
ENIKOS NETWORK
ΗΠΑ: Μετακινεί τουλάχιστον 2.500 πεζοναύτες από την Ιαπωνία στη Μέση Ανατολή – Το «USS Tripoli» πλέει προς το Ιράν
«Ιερή» μάχη στην prime time: Έρχεται σειρά για τον Άγιο Νεκτάριο στον Alpha
