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