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

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