Ζοζέφ Σιφακίς: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
+κατ |
+εικόνα |
||
Γραμμή 1:
[[File:Joseph Sifakis mg 4603.jpg|thumb|right|Ιωσήφ Σηφάκης]]
O '''Ιωσήφ Σηφάκης''' είναι Έλληνας ερευνητής, στον οποίο απονεμήθηκε το [[βραβείο Turing]] για το [[2007]], μαζί με τον Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στο Model Checking, τεχνολογία επαλήθευσης συστημάτων πληροφορικής.
| |||