Ο καθηγητής Ιωσήφ Σηφάκης, ένας άνθρωπος που έχει αφήσει τη δική του σφραγίδα στην επιστήμη της πληροφορικής και ένας από τους πιο αναγνωρισμένους επιστήμονες στον κλάδο του διεθνώς. Η έρευνα του σήμερα έχει εφαρμογές στα αεροπλάνα, το διάστημα, τα αυτοκίνητα και τις τηλεπικοινωνίες.
Έχει ιδρύσει το εργαστήριο VERIMAG, το οποίο είναι από τα κορυφαία ερευνητικά εργαστήρια στην περιοχή των κρίσιμων ενσωματωμένων συστημάτων. Εκεί ανέπτυξε με την ομάδα του μια τεχνολογία η οποία έχει ως στόχο να προσφέρει περισσότερη ασφάλεια στις πτήσεις. Η Airbus την δοκίμασε πρώτη και σήμερα αυτή χρησιμοποιείται σε όλα τα αεροπλάνα.
Το 2007 του απονεμήθηκε το Turing Award, μαζί με τους E. M. Clarke και A. Emerson, για το έργο του πάνω στον έλεγχο μοντέλων. Πρόκειται για μία μέθοδο που επαληθεύει αν ένα μοντέλο ενός συστήματος συμφωνεί με κάποιες δεδομένες προδιαγραφές. Το συγκεκριμένο βραβείο είναι για την επιστήμη της πληροφορικής το αντίστοιχο του Nobel Prize.
Περισσότερα για τον Ιωσήφ Σηφάκη και το έργο του μπορείς να μάθεις στις παρακάτω ιστοσελίδες:http://www-verimag.imag.fr
http://amturing.acm.org/award_winners/sifakis_1701095.cfm
Αφήστε μια απάντηση
Για να σχολιάσετε πρέπει να συνδεθείτε.