Ο **Ιωσήφ Σηφάκης** (γνωστός διεθνώς και ως **Joseph Sifakis/ Ζοζέφ Σιφακίς**) είναι Ελληνογάλλος ερευνητής της πληροφορικής και ένας από τους σημαντικότερους σύγχρονους της επιστήμης της πληροφορικής.

Βιογραφία
---------

Γεννήθηκε στο Ηράκλειο Κρήτης το 1946, σπούδασε ηλεκτρολόγος μηχανικός στο Εθνικό Μετσόβιο Πολυτεχνείο και πληροφορική στο Πανεπιστήμιο της Γκρενόμπλ με υποτροφία του γαλλικού κράτους, περίοδο κατά την οποία απέκτησε την γαλλική υπηκοότητα.

Είναι διδάκτορας πληροφορικής στο Πανεπιστήμιο της Γκρενόμπλ. Έχει διατελέσει καθηγητής στο Πολυτεχνείο της Λωζάνης (EPFL) και επιστημονικός διευθυντής του δικτύου Artist2 (European Network of Excellence for research on Embedded Systems). Εργάζεται επίσης στο Εθνικό Κέντρο Επιστημονικών Ερευνών στο εργαστήριο VERIMAG, του οποίου είναι ιδρυτής και το οποίο είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων.

Στις αρχές της δεκαετίας του 1990 ανέπτυξε σε συνεργασία με την βιομηχανία, και ιδιαίτερα την Airbus, την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων.

Εργασίες
--------

Ο Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων και θεωρείται ένας από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων και σήμερα χρησιμοποιείται από εταιρείες όπως η Intel, η Microsoft και η Google. Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, το 2007 τού απονεμήθηκε το Βραβείο Τούρινγκ από κοινού με τον Έντμουντ Κλαρκ και τον Έρνεστ Άλλεν Έμερσον για τις εργασίες τους στον έλεγχο μοντέλων, μία μέθοδο τυπικής επαλήθευσης υλικού ή λογισμικού υπολογιστών. Σήμερα τα ενδιαφέροντά του επικεντρώνονται στην μελέτη μεθόδων κατασκευής ενσωματωμένων συστημάτων υψηλής ασφάλειας και πιστότητας.

Διακρίσεις
----------

Ο Σηφάκης είναι μέλος της Γαλλικής Ακαδημίας Επιστημών, της Γαλλικής Ακαδημίας Τεχνολογιών, της Ευρωπαϊκής Ακαδημίας, της American Academy of Arts and Sciences και της National Academy of Engineering, της National Academy of Engineering και της Κινεζικής Ακαδημίας Επιστημών. Το 2009 το γαλλικό κράτος τού απένειμε τον τίτλο του Μεγάλου Αξιωματούχου Εθνικής Αξίας *(Grand Officier de l’Ordre du Mérite)* και το 2011 έλαβε τον τίτλο του διοικητή της Λεγεώνης της Τιμής *(Commandant de la Légion d’Honneur).* Το 2009 τού απονεμήθηκε το βραβείο του Ιδρύματος της Βουλής των Ελλήνων για τον Κοινοβουλευτισμό και την Δημοκρατία και το 2013 τού απονεμήθηκε το μετάλλιο του Ταξιάρχη του Τάγματος του Φοίνικα. Είχε προηγηθεί το Leonardo Da Vinci Medal το 2012. 

Έχει αναγορευθεί επίτιμος διδάκτορας του Πανεπιστημίου Αθηνών, του Οικονομικού Πανεπιστημίου Αθηνών, του Πανεπιστημίου Πατρών, του Διεθνούς Πανεπιστημίου και της Ecole Polytechnique Fédérale de Lausanne. Έχει επίσης διατελέσει πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας την διετία 2014-2016.

Ο Ιωσήφ Σηφάκης έχει συγγράψει δυο συλλογές κειμένων έμμετρων και πεζών, καθώς και ένα βιβλίο με τίτλο «Κατανοώντας και αλλάζοντας τον κόσμο» που κυκλοφόρησαν από τις Εκδόσεις Αρμός.

Παραπομπές
----------

1. ↑  Ανακτήθηκε στις 4  Ιουλίου 2019.
2. ↑  comihistocnrs.hypotheses.org/2706.
3. ↑  Εφημερίδα *Ελευθεροτυπία*, 05-02-2008.
4. ↑  Εφημερίδα *Η Καθημερινή*, 04-02-2008.

Εξωτερικοί σύνδεσμοι
--------------------

* Προσωπική ιστοσελίδα
* Βραβεία Turing για το 2007
* Συνέντευξη στην εκπομπή "Αντιθέσεις" του δημοσιογράφου Γιώργου Σαχίνη στον τηλεοπτικό σταθμό "Κρήτη TV" (28/02/2014).

  


|  |  |  |  |
| --- | --- | --- | --- |
| 

| π • σ • ε
Αποδέκτες του Βραβείου Τούρινγκ |
| --- |
|  |
| 
* Άλαν Πέρλις (1966)
* Μόρις Γουάιλκς (1967)
* Ρίτσαρντ Χάμινγκ (1968)
* Μάρβιν Μίνσκυ (1969)
* Τζέιμς Γουίλκινσον (1970)
* Τζον Μακάρθι (1971)
* Έντσγκερ Ντάικστρα (1972)
* Τσαρλς Μπάκμαν (1973)
* Ντόναλντ Κνουθ (1974)
* Άλεν Νιούελ / Χέρμπερτ Σάιμον (1975)
* Μάικλ Ράμπιν / Ντέινα Σκοτ (1976)
* Τζον Μπάκους (1977)
* Ρόμπερτ Φλόιντ (1978)
* Κένεθ Άιβερσον (1979)
* Τόνυ Χόαρ (1980)
* Έντγκαρ Κοντ (1981)
* Στίβεν Κουκ (1982)
* Κεν Τόμσον/Ντένις Ρίτσι (1983)
* Νικλάους Βιρτ (1984)
* Ρίτσαρντ Καρπ (1985)
* Τζον Χόπκροφτ/Ρόμπερτ Τάρτζαν (1986)
* Τζον Κοκ (1987)
* Άιβαν Σάδερλαντ (1988)
* Ουίλιαμ Κάαν (1989)
* Φερνάντο Κορμπατό (1990)
* Ρόμπιν Μίλνερ (1991)
* Μπάτλερ Λάμπσον (1992)
* Ρίτσαρντ Στερνς/Τζούρις Χαρτμάνις (1993)
* Έντουαρντ Φάιγκενμπαουμ/Ραζ Ρέντι (1994)
* Μανουέλ Μπλουμ (1995)
* Αμίρ Πνουέλι (1996)
* Ντάγκλας Ένγκελμπαρτ (1997)
* Τζιμ Γκρέι (1998)
* Φρέντερικ Μπρουκς (1999)
* Άντριου Γιάο (2000)
* Όλε-Γιόχαν Νταλ/Κρίστεν Νάιγκαρντ (2001)
* Ρον Ρίβεστ/Άντι Σαμίρ/Λέοναρντ Άντλεμαν (2002)
* Άλαν Κέι (2003)
* Βίντον Σερφ/Ρόμπερτ Καν (2004)
* Πέτερ Νάουρ (2005)
* Φράνσις Άλεν (2006)
* Έντμουντ Κλαρκ/Άλεν Έμερσον/Ιωσήφ Σηφάκης (2007)
* Μπάρμπαρα Λίσκοφ (2008)
* Τσαρλς Θάκερ (2009)
* Λέσλι Βάλιαντ (2010)
* Τζουντέα Περλ (2011)
* Σίλβιο Μικάλι/Σάφι Γκολντβάσερ (2012)
* Λέσλι Λάμπορτ (2013)
* Μάικλ Στόουνμπρεικερ (2014)
* Μάρτιν Χέλμαν/Ουίτφιλντ Ντίφι (2015)
* Τιμ Μπέρνερς Λι (2016)
* Τζον Λ. Χένεσι/Ντέιβιντ Πάτερσον (2017)
* Γιόσουα Μπέντζιο/ Τζέφρι Χίντον/Γιαν ΛεΚουν (2018)
* Έντουιν Κάτμουλ/Πατ Χανράχαν (2019)
* Άλφρεντ Άχο / Τζέφρι Ούλμαν (2020)
* Τζακ Ντονγκάρα (2021)
* Ρόμπερτ Μέτκαλφ (2022)
 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| Καθιερωμένοι όροι | 
* WorldCat
* VIAF: 110770950
* LCCN: n88237558
* ISNI: 0000 0001 2147 7236
* ORCID: 0000-0003-2447-7981
* GND: 1049200187
* SUDOC: 060235128
* BIBSYS: 90520824
* MGP: 122021
* NKC: xx0007681
* CiNii: DA03997600

 |

 |