Ζοζέφ Σιφακίς: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: ro:Iosif Sifakis |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1:
O '''Ιωσήφ Σηφάκης''' είναι Έλληνας ερευνητής, στον οποίο απονεμήθηκε το [[βραβείο Turing]] για το [[2007]], μαζί με τον Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, για τις εργασίες τους στο Model Checking, τεχνολογία επαλήθευσης συστημάτων πληροφορικής.
Γεννήθηκε στο [[Ηράκλειο]] της [[Κρήτη|Κρήτης]] το [[1946]], σπούδασε Μηχανολόγος στο [[ΕΚΠΑ]] και
Είναι επίσης συνεργάτης του δικτύου Artist2.
| |||