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