Αναγόρευση του Διευθυντή Ερευνών στο CNRS Γαλλίας κ. Ιωσήφ Σηφάκη σε Επίτιμο Διδάκτορα του Τμήματος Πληροφορικής του Οικονομικού Πανεπιστημίου Αθηνών (4/6/2010)
ΤΕΛΕΤΗ ΑΝΑΓΟΡΕΥΣΗΣ
ΤΟΥ Δρ. ΙΩΣΗΦ ΣΗΦΑΚΗ
ΣΕ ΕΠΙΤΙΜΟ ΔΙΔΑΚΤΟΡΑ
ΤΟΥ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΤΟΥ ΟΙΚΟΝΟΜΙΚΟΥ ΠΑΝΕΠΙΣΤΗΜΙΟΥ ΑΘΗΝΩΝ
Το Οικονομικό Πανεπιστήμιο Αθηνών διοργανώνει την Παρασκευή 4 Ιουνίου 2010 και ώρα 18:30 στην Αίθουσα Τελετών του Πανεπιστημίου την τελετή αναγόρευσης σε Επίτιμο Διδάκτορα του Τμήματος Πληροφορικής του Πανεπιστημίου του
Διευθυντή Ερευνών στο CNRS Γαλλίας κ. Ιωσήφ Σηφάκη.
Ο Ιωσήφ Σηφάκης γεννήθηκε στο Ηράκλειο της Κρήτης στις 26 Δεκεμβρίου 1946. Είναι ηλεκτρολόγος του Εθνικού Μετσόβιου Πολυτεχνείου. Σπούδασε πληροφορική στη Γαλλία
και είναι διδάκτωρ του Πανεπιστημίου της Γκρενόπλ.
Ο Ιωσήφ Σηφάκης είναι διευθυντής ερευνών του Εθνικού Κέντρου Ερευνών της Γαλλίας (CNRS) και κάτοχος της έδρας Schneider-INRIA στο εργαστήριο Verimag του οποίου είναι και ο
ιδρυτής. Το Verimag είναι διεθνώς γνωστό για τη συμβολή του στον τομέα των ενσωματωμένων συστημάτων. Ανέπτυξε θεωρητικά και τεχνολογικά αποτελέσματα για την επαλήθευση και τον σχεδιασμό κρισίμων συστημάτων. Τα αποτελέσματα αυτά
βρίσκουν εφαρμογές στην ανάπτυξη βιομηχανικών συστημάτων από εταιρείες, όπως η Airbus, ST Microelectronics και France Telecom.
Ο κ. Σηφάκης είναι ευρέως γνωστός για τις εργασίες του στον τομέα της επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές της μεθόδου Model-Checking που είναι η κύρια μέθοδος επαλήθευσης συστημάτων στη βιομηχανία. Σήμερα, τα ερευνητικά
του ενδιαφέροντα επικεντρώνονται στη μελέτη μεθόδων σχεδιασμού πληροφορικών συστημάτων που είναι εκ κατασκευής σωστά.
Ο Ιωσήφ Σηφάκης έχει συμμετάσχει ενεργά σε πολλά βιομηχανικά προγράμματα και έχει διατελέσει σύμβουλος αρκετών εταιρειών. Είναι, επίσης, ο επιστημονικός διευθυντής του Ευρωπαϊκού Δικτύου
ArtistDesign για ενσωματωμένα συστήματα και ο διευθυντής του Ινστιτούτου Carnot
"Έξυπνα Λογισμικά και Συστήματα".
Ο Ιωσήφ Σηφάκης είναι μέλος της Academia Europea και της γαλλικής ακαδημίας Τεχνολογίας. Είναι επίτιμος
καθηγητής του Πανεπιστημίου Πατρών, επίτιμος διδάκτωρ του Πανεπιστημίου της Αθήνας και της Ecole Polytechnique Fédérale de Lausanne. Έχει τιμηθεί για την έρευνά του στην επαλήθευση πληροφορικών συστημάτων με το αργυρό
μετάλλιο του CNRS το 2001 και με το βραβείο Turing 2007. Επίσης, έχει τιμηθεί με το γαλλικό παράσημο του
Grand Officier de L'Ordre National du Mérite.
Η τελετή αναγόρευσης θα ξεκινήσει με χαιρετισμό από τον Πρύτανη του Οικονομικού Πανεπιστημίου Αθηνών Καθηγητή κ. Γ. Πραστάκο. Στη συνέχεια, θα απευθύνει χαιρετισμό ο Πρόεδρος του Τμήματος Πληροφορικής του Πανεπιστημίου
Καθηγητής κ. Π. Κωνσταντόπουλος. Θα ακολουθήσει παρουσίαση του έργου του τιμώμενου από τον Καθηγητή του Τμήματος Πληροφορικής κ. Κ. Κουρκουμπέτη. Αμέσως μετά θα πραγματοποιηθεί η αναγόρευση του Δρ. Ιωσήφ Σηφάκη σε Επίτιμο
Διδάκτορα του Τμήματος Πληροφορικής. Η τελετή θα ολοκληρωθεί με την ομιλία του τιμώμενου.
