Ο Μάγος της Πληροφορικής
Ο Ιωσήφ Σηφάκης γεννήθηκε το 1946 στη πόλη του Ηρακλείου όπου και μεγάλωσε.Φοίτησε στο Καπετανάκειο Λύκειο και στη συνέχεια στο Εθνικό Μετσόβιο Πολυτεχνείο στη σχολή Ηλεκτρολόγων Μηχανολόγων.Εκεί ασχολήθηκε με τα εφαρμοσμένα μαθηματικά και αργότερα μετέβη στην Γαλλία,όπου σπούδασε Πληροφορική.Σήμερα είναι διευθυντής έρευνας στο Εθνικό Κέντρο Επιστημονικής Έρευνας της Γαλλίας και ιδρυτής του εργαστηρίου Verimag στην Γκρενόμπλ.Εχει τιμηθεί με το βραβείο Turing,το οποίο αντιστοιχεί σε βραβείο Νόμπελ στον τομέα της Πληροφορικής.Η βράβευση αφορούσε την εργασία του πάνω στο Model Checking,τεχνολογία επαλήθευσης συστημάτων πληροφορικής.Πρόκειται για μια πρωτότυπη μέθοδο επαλήθευσης,η όποια χρησιμοποιείτε για τον έλεγχο hardware και software και για τον εντοπισμό λαθών.Τα ερευνητικά αποτελέσματα αυτής της εργασίας βρίσκουν εφαρμογές σε κρίσιμα συστήματα που εφαρμόζονται σε αεροπλάνα.σε τηλεπικοινωνίες,στο διάστημα,και στην αυτοκινητοβιομηχανία.SociaLMagazinE
Αναρτήσεις
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου