Τη δική του σφραγίδα στις ραγδαίες τεχνολογικές εξελίξεις στον τομέα των υπολογιστών, βάζει ο Κρητικός ερευνητής Ιωσήφ Σηφάκης ο οποίος βραβεύτηκε με το μετάλλιο ‘Leonardo da Vinci’ στο πλαίσιο του 40ου ετήσιου συνεδρίου της Ευρωπαϊκής Εταιρείας για την Εκπαίδευση των Μηχανικών (SEFI), που πραγματοποιήθηκε στη Θεσσαλονίκη.
Το μετάλλιο αυτό απονέμεται για πρώτη φορά σε Έλληνα επιστήμονα, ενώ έχουν ήδη τιμηθεί με αυτό προσωπικότητες όπως οι Ζακ Ντελόρ, Σαντιάγκο Καλατράβα κ.ά. Εξάλλου, ο ηλεκτρολόγος μηχανικός κ. Σηφάκης είναι ένας από τους διεθνώς αναγνωρισμένους Ελληνες ερευνητές στην υπολογιστική επιστήμη και στον τομέα του Model Checking και είναι κάτοχος ήδη από το 2007 του βραβείου A.M. Turing, του αποκαλούμενου Νόμπελ Πληροφορικής.
Εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας, είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στη Γκρενόμπλ.
Ο έλεγχος μοντέλων (Model Checking), δηλαδή η τεχνολογία επαλήθευσης συστημάτων πληροφορικής, αποτελεί μία από τις επιστήμες αιχμής, προς την κατεύθυνση της δημιουργίας εξυπνότερων και ασφαλέστερων υπολογιστικών συσκευών στην οποία στοχεύουν οι έρευνες των επιστημόνων στα συστήματα πληροφορικής, προκειμένου να μειωθεί στο ελάχιστο το ποσοστό λάθους στις δεκάδες εφαρμογές που βρίσκουν στην καθημερινότητά μας οι «έξυπνες συσκευές» των μικροϋπολογιστών επηρεάζοντας τη ζωή μας.
Όπως εξηγεί ο κ. Σηφάκης, μιλώντας στο ΑΜΠΕ, το να κάνει κανείς ασφαλέστερα και πιο έξυπνα τα ήδη έξυπνα συστήματα, είναι καίριας σημασίας καθώς οι εφαρμογές τέτοιων συστημάτων μπορούν να επηρεάσουν ακόμη και την ανθρώπινη ζωή, όταν για παράδειγμα χρησιμοποιούνται στην ιατρική και στην φαρμακευτική. Οι μεγάλες καινοτομίες στις περιπτώσεις αυτές αναμένονται στο άμεσο μέλλον, τόσο στη δημιουργία εξυπνότερων φαρμάκων, που θα δρουν πιο στοχευμένα όσο και στην τηλεπαρακολούθηση ασθενών από απόσταση, χωρίς να απαιτείται νοσηλεία. «Στην ιατρική δεν υπάρχει περιθώριο λάθους των υπολογιστικών συστημάτων που χρησιμοποιούνται καθώς από αυτά μπορεί να εξαρτάται η ανθρώπινη ζωή», σχολιάζει ο καθηγητής.
ΚΟΜΜΑΤΙ ΤΗΣ ΚΑΘΗΜΕΡΙΝΟΤΗΤΑΣ ΜΑΣ
Τα έξυπνα συστήματα είναι «κρυμμένα» παντού στη ζωή μας, στις τηλεπικοινωνίες, στα αυτοκίνητα, στις οικιακές συσκευές, στο ίντερνετ, και σύμφωνα με τον Έλληνα ερευνητή, το στοίχημα είναι να μπορούν να «συνεργαστούν» μεταξύ τους για το καλύτερο δυνατό αποτέλεσμα, όπως, για παράδειγμα, να μειώσουν την κατανάλωση ενέργειας ή να κάνουν πιο ασφαλή τη χρήση τους.
Ο κ. Σηφάκης αναφέρει ότι στο άμεσο μέλλον η χρήση των έξυπνων συστημάτων θα φέρει μεγάλες αλλαγές στις τηλεπικοινωνίες και στους ηλεκτρονικούς υπολογιστές, που πλέον θα λειτουργούν με φωνητικές εντολές που θα δίνουν οι χρήστες σε αισθητήρες τοποθετημένους στο ανθρώπινο σώμα. Η απλούστευση αυτή θα καταργήσει τις γνωστές και συμβατικές συσκευές που σήμερα χρησιμοποιούμε, μειώνοντας σημαντικά τον όγκο και τον τρόπο χρήσης ευρέως διαδεδομένων συσκευών.
Παρόμοιες εφαρμογές αναμένονται στη διαχείριση κτηρίων, όπου με τη χρήση αισθητήρων θα εξοικονομούνται τα καύσιμα για τη θέρμανση και την ψύξη, η κατανάλωση ηλεκτρικού, ενώ θα είναι εφικτή ακόμη και η παραγωγή και αποθήκευση ενέργειας στα ίδια τα κτήρια, ώστε να καθίστανται ενεργειακά αυτόνομα. Αλλά και στη διαχείριση φυσικών πόρων, όπως το νερό, η χρήση εξυπνότερων συστημάτων για την αντιμετώπιση των απωλειών στα δίκτυα ύδρευσης ή στη γεωργία, αναμένεται να δώσει λύσεις σε προβλήματα που θα αντιμετωπίσουν εντονότερα οι κοινωνίες.
Από το Ηράκλειο στην… κορυφή της Πληροφορικής
Ο Ιωσήφ Σηφάκης γεννήθηκε στο Ηράκλειο της Κρήτης το 1946, σπούδασε ηλεκτρολόγος μηχανικός στο Εθνικό Μετσόβιο Πολυτεχνείο και Πληροφορική στο Πανεπιστήμιο της Γκρενόμπλ με γαλλική υποτροφία. Είναι γνωστός για τις πρωτοποριακές εργασίες του στη μοντελοποίηση των συστημάτων και την επαλήθευσή τους. Οι τρέχουσες ερευνητικές του δραστηριότητες αφορούν τα συστήματα πραγματικού χρόνου υψηλής πιστότητας με εφαρμογές στα αεροπλάνα, το διάστημα, τα αυτοκίνητα και τις τηλεπικοινωνίες.
Το Model Checking είναι μια αλγοριθμική μέθοδος επαλήθευσης, η οποία επιτρέπει να καθοριστεί αν ένα μοντέλο, μέρος ενός συστήματος υλικού ή ενός σύνθετου λογισμικού, πληροί τις σωστές προδιαγραφές, εκφρασμένες υπό κάποια μορφή λογικών προτάσεων. Επιπλέον, αν το μοντέλο δεν επαληθευτεί, η μέθοδος παράγει αντιπαραδείγματα, τα οποία βοηθούν στον εντοπισμό της πηγής του προβλήματος.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου