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