Το Turing Award, που θεωρείται το βραβείο Νόμπελ της Πληροφορικής, απονεμήθηκε φέτος σε 3 επιστήμονες (Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis) για την έρευνά τους στην περιοχή του Model Checking, μια διαδικασία για τον έλεγχο ποιότητας, η οποία χρησιμοποιείται ευρέως και στη θεωρία και στην πράξη για τον έλεγχο συστημάτων hardware και software και για τον εντοπισμό λαθών.

Η ανακοίνωση του ACM βρίσκεται εδώ:

http://www.acm.org/press-room/news-releases/turing-award-07

Ο Ιωσήφ Σηφάκης είναι ερευνητής στο Εθνικό Κέντρο Επιστημονικής Έρευνας της Γαλλίας (CNRS). Σπούδασε ηλεκτρολόγος στο Μετσόβιο και επιστήμη υπολογιστών στο πανεπιστήμιο της Γκρενόμπλ.

Βιβλιομετρικά στοιχεία, Sifakis J
Web of Science: 52 hits, h=12, citations=836.
Google Scholar: 352 hits, h=35, most cited work: The algorithmic analysis of hybrid systems, 1995, 859 citations

Σχετικό άρθρο της Ελευθεροτυπίας:

http://www.enet.gr/online/online_text/c=112,id=46050344

Advertisements