Ζοζέφ Σιφακίς: Διαφορά μεταξύ των αναθεωρήσεων

[[File:Joseph Sifakis mg 4603.jpg|thumb|right|ΙωσήφΖοζέφ ΣηφάκηςΣιφακίς]]

O '''ΙωσήφΖοζέφ ΣηφάκηςΣιφακίς''' είναι [[Έλληνες|ΈλληναςΕλληνο]][[Γαλλία|γάλλος]] ερευνητής της [[πληροφορική|πληροφορικής]], ο οποίος τιμήθηκε με [[Βραβείο Τούρινγκ]] το [[2007]] από κοινού με τον [[Έντμουντ Κλαρκ]] και τον [[Έρνεστ Άλλεν Έμερσον]], για τις εργασίες τους στον [[έλεγχος μοντέλων|έλεγχο μοντέλων]], μία μέθοδο [[τυπική επαλήθευση|τυπικής επαλήθευσης]] [[υλικό υπολογιστών|υλικού]] ή [[λογισμικό|λογισμικού]] [[υπολογιστής|υπολογιστών]].

Γεννήθηκε στο [[Ηράκλειο]] της [[Κρήτη|Κρήτης]] το [[1946]], σπούδασε [[ηλεκτρολόγος μηχανικός]] στο [[Εθνικό Μετσόβιο Πολυτεχνείο]] και πληροφορική στο [[Πανεπιστήμιο της Γκρενόμπλ]] με μία [[Γαλλία|γαλλική]] υποτροφία{{note|Ελευθεροτυπία}}, περίοδο στην διάρκεια της οποάις και απέκτησε την γαλλική υπηκοότητα. Ο ΣηφάκηςΣιφακίς ζει στη Γαλλία και εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών στο εργαστήριο VERIMAG κοντά στη [[Γκρενόμπλ]], του οποίου είναι ιδρυτής{{note|Καθημερινή}}. Είναι επίσης συνεργάτης του δικτύου Artist2.

{{DEFAULTSORT:ΣηφακηςΣιφακις, ΙωσηφΖοζεφ}}