Ο Ιωσήφ Σηφάκης είναι εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο. Το 2007 μάλιστα τιμήθηκε με το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Το Βραβείο Τούρινγκ θεωρείται ως το Νομπέλ της Πληροφορικής.
Σχόλια Αναγνωστών
στο Ροή
Οικονομία
Επιχειρήσεις
Επικαιρότητα
13 ώρες πριν
Η Realnews εκτάκτως το Μ. Σάββατο
15 ώρες πριν
ΕΛΣΤΑΤ: Πόσοι φλερτάρουν με την φτώχεια
15 ώρες πριν
ΕΛΣΤΑΤ: Πόσοι φλερτάρουν με την φτώχεια
2 ημέρες πριν
ΔΕΗ: Ανανεώνεται η θητεία του Στάσση -Ποιες είναι οι νέες επιχειρηματικές δραστηριότητες
3 ημέρες πριν
Διευθύνων σύμβουλος του ΔΑΑ: Θετικές οι ενδείξεις για το 2025- Τι είπε για την κινεζική αγορά
2 εβδομάδες πριν
RWE -ΔΕΗ: Νέο φωτοβολταϊκό 567 μεγαβάτ στην Κεντρική Μακεδονία
13 ώρες πριν
Η Realnews εκτάκτως το Μ. Σάββατο
1 ημέρα πριν
Παπαστεργίου: Έρχεται εγκύκλιος για την κατάργηση δύο πιστοποιητικών -Τι είπε για τις νέες...
2 ημέρες πριν
Οι αθλητικές εφημερίδες 17/4/2025
