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

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

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