Στη δημιουργία εξυπνότερων και ασφαλέστερων υπολογιστικών συσκευών
στοχεύουν οι έρευνες των
επιστημόνων στα συστήματα πληροφορικής, προκειμένου να μειωθεί στο ελάχιστο το
ποσοστό λάθους στις δεκάδες εφαρμογές που βρίσκουν στην καθημερινότητά μας οι
«έξυπνες συσκευές» των μικροϋπολογιστών επηρεάζοντας τη ζωή μας.
Ο έλεγχος μοντέλων (Model Checking), δηλαδή η τεχνολογία
επαλήθευσης συστημάτων πληροφορικής, αποτελεί μία από τις επιστήμες αιχμής,
προς αυτή την κατεύθυνση, καθώς μέσα από αυτή προκύπτουν ολοένα και περισσότερα
«έξυπνα συστήματα»,
τα οποία αποτελούν πλέον αναπόσπαστο κομμάτι της ζωής μας
με στόχο τη βελτίωση της ποιότητάς της, την εξοικονόμηση ενέργειας και χρημάτων
και τη βέλτιστη διαχείριση των πόρων.
Ένας από τους διεθνώς αναγνωρισμένους Έλληνες ερευνητές στην
υπολογιστική επιστήμη και στον τομέα του Model Checking, ο ηλεκτρολόγος
μηχανικός Ιωσήφ Σηφάκης,
βραβεύτηκε πριν από μερικές ημέρες με το μετάλλιο
«Leonardo da Vinci», στο πλαίσιο του 40ου ετήσιου συνεδρίου της Ευρωπαϊκής
Εταιρείας για την Εκπαίδευση των Μηχανικών (SEFI), στη Θεσσαλονίκη.
Το
μετάλλιο αυτό απονεμήθηκε για πρώτη φορά σε Έλληνα επιστήμονα, ενώ έχουν ήδη
τιμηθεί με αυτό προσωπικότητες όπως οι Ζακ Ντελόρ, Σαντιάγκο Καλατράβα κ.ά.
