Ζοζέφ Σιφακίς: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 2:
O '''Ζοζέφ Σιφακίς''' είναι [[Έλληνες|Ελληνο]][[Γαλλία|γάλλος]] ερευνητής της [[πληροφορική|πληροφορικής]], ο οποίος τιμήθηκε με [[Βραβείο Τούρινγκ]] το [[2007]] από κοινού με τον [[Έντμουντ Κλαρκ]] και τον [[Έρνεστ Άλλεν Έμερσον]], για τις εργασίες τους στον [[έλεγχος μοντέλων|έλεγχο μοντέλων]], μία μέθοδο [[τυπική επαλήθευση|τυπικής επαλήθευσης]] [[υλικό υπολογιστών|υλικού]] ή [[λογισμικό|λογισμικού]] [[υπολογιστής|υπολογιστών]].
Γεννήθηκε στο [[Ηράκλειο]] της [[Κρήτη|Κρήτης]] το [[1946]], σπούδασε [[ηλεκτρολόγος μηχανικός]] στο [[Εθνικό Μετσόβιο Πολυτεχνείο]] και πληροφορική στο [[Πανεπιστήμιο της Γκρενόμπλ]] με μία [[Γαλλία|γαλλική]] υποτροφία{{note|Ελευθεροτυπία}}, περίοδο στην διάρκεια της
==Σημειώσεις==
| |||