Διεθνές βραβείο στον Σήφη Σηφάκη
Ο Σήφης Σηφάκης πήρε το βραβείο Turing, την μεγαλύτερη διάκριση στην Πληροφορική
Ενας Ηρακλειώτης, από γνωστή οικογένεια της πόλης, ο Σήφης Σηφάκης, απέσπασε , μαζί με δύο Aμερικάνους συναδέλφους του, την μεγαλύτερη επιστημονική διάκριση στην Πληροφορική, το βραβείο Turing, όπως ανακοινώθηκε επίσημα χθες το βράδυ στη Νέα Υόρκη .
Ο Σ. Σηφάκης, που ζει στη Γαλλία εργάζεται εδώ και πολλά χρόνια πάνω στην τεχνολογία επαλήθευσης συστημάτων πληροφορικής.
Το Model Checking έχει τεράστια σημασία για την Επιστήμη και τη Βιομηχανία. Πρόκειται για μια μαθηματική-αλγοριθμική διαδικασία, που επιτρέπει τον έλεγχο της σωστής λειτουργίας των υλικών μερών (hardware) ή του σύνθετου λογισμικού (software) ενός συστήματος.
Η διαδικασία αυτή, δηλαδή, ελέγχει με μαθηματικές μεθόδους αν ένα εξαιρετικά πολύπλοκο σύστημα πληρoί τις προδιαγραφές των κατασκευαστών του.
Επιπλέον, στην περίπτωση μη επαλήθευσης, η διαδικασία παράγει παραδείγματα, τα οποία βοηθούν στον εντοπισμό της πηγής του προβλήματος.
Οι θεωρητικές βάσεις του Model Checking τέθηκαν το 1981 από τους Edmund Clarke και Allen Emerson, οι οποίοι εργαζόταν στις ΗΠΑ και τον Σήφη Σηφάκη, ο οποίος εργάζονταν ανεξάρτητα στην Γαλλία.
Για να μπορέσει το Model Checking να χρησιμοποιηθεί επιτυχώς στην επαλήθευση πολυσύνθετων συστημάτων, χρειάστηκε να παραχθούν εκπληκτικά θεωρητικά αποτελέσματα, μέθοδοι και εργαλεία προκειμένου να αντιμετωπιστεί η πολυπλοκότητα του προβλήματος της « έκρηξης καταστάσεων » (state explosion).
Για την επίλυση του προβλήματος αξιοσημείωτn πρόοδος επιτεύχθηκε τα τελευταία 27 χρόνια από μια μεγάλη διεθνή επιστημονική κοινότητα.
Τα επιτεύγματα αυτά βρίσκουν πολλές βιομηχανικές εφαρμογές στην επαλήθευση επεξεργαστών ηλεκτρονικών υπολογιστών, κρισίμων συστημάτων αυτομάτου ελέγχου, που χρησιμοποιούνται στα αεροπλάνα, την αυτοκινητοβιομηχανία, το διάστημα και τις τηλεπικοινωνίες, καθώς και στην επαλήθευση πρωτοκόλλων επικοινωνιών και κρυπτογραφικών αλγορίθμων.
Το διεθνές βραβείο Turing φέρει το όνομα του Άγγλου μαθηματικού Alan Turing, ο οποίος θεωρείται θεμελιωτής της Πληροφορικής και απονέμεται κάθε χρόνο από την ACM. (Association for Computing Machinery).
Είναι η ανώτατη διάκριση σε επιστήμονες της Πληροφορικής, με κύρος ισάξιο ενός βραβείου Nobel (βραβείο Nobel στην Πληροφορική δεν έχει θεσπιστεί) και επιβραβεύει υψίστης σημασίας έρευνες στον τομέα της Πληροφορικής.
Από το Καπετανάκειο
Ο Σήφης Σηφάκης, γεννήθηκε στο Ηράκλειο, το 1946. Ο πατέρας του είχε κατάστημα ξηρών καρπών και ζαχαρωδών προϊόντων στην οδό Κόσμων (η οικογενειακή επιχείρηση συνεχίζεται), ενώ παππούς του ήταν ο Γ. Μπαλαμούτσος, πρόσφυγας στην καταγωγή που λειτουργούσε για πολλές δεκαετίες ζαχαροπλαστείο στο κέντρο της πόλης.
Ο Σήφης, αποφοίτησε από το Καπετανάκειο , τέλειωσε το Εθνικό Μετσόβιο Πολυτεχνείο και στη συνέχεια πήγε στην Γκρενόμπλ της Γαλλίας, όπου συνέχισε τις σπουδές στην Επιστήμη Υπολογιστών και εγκαταστάθηκε εκεί καθώς υπήρχαν οι προϋποθέσεις για να ασχοληθεί με την έρευνα.
Ο Σήφης Σηφάκης είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στην Grenoble. Είναι γνωστός για τις πρωτοποριακές εργασίες του, τόσο σε πρακτικό όσο και σε θεωρητικό επίπεδο, στην μοντελοποίηση των συστημάτων και την επαλήθευση τους.
Οι τρέχουσες ερευνητικές του δραστηριότητες αφορούν τα συστήματα πραγματικού χρόνου υψηλής πιστότητας με εφαρμογές στα αεροπλάνα, το διάστημα, τα αυτοκίνητα και τις τηλεπικοινωνίες.
Έχει ενεργό δράση στη μεταφορά των αποτελεσμάτων της έρευνας στην βιομηχανία, κυρίως σε συνεργασία με εταιρείες όπως η Airbus, Schneider Electric, STMicroelectronics και France Telecom.
Μετέχει σε πολλά διεθνή επιστημονικά προγράμματα και έχει δημοσιεύσει πολλές εργασίες σε επιστημονικά περιοδικά.
Είναι παντρεμένος με την επίσης Ηρακλειώτισσα Κατερίνα Καπετανάκη και έχουν δύο παιδιά, ένα αγόρι και ένα κορίτσι που έχουν ολοκληρώσει σπουδές μηχανικού και πολιτικών επιστημών αντίστοιχα.
Ο διακεκριμένος επιστήμονας έρχεται τακτικά στο Ηράκλειο, όπου ζουν οι ηλικιωμένοι γονείς του και τα τρία αδέλφια του.
Πηγή:patris.gr
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου