O Ιωσήφ Σηφάκης, αν δε κάνω λάθος, είναι ο πρώτος Έλληνας στον οποίο απονέμεται βραβείο Turing (θα μπορούσαμε να πούμε το αντίστοιχο του Nobel Prize για τους Πληροφορικούς). Από την ανακοίνωση της ACM:
“ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers.”
Ένα πρόσφατο και εξαιρετικό άρθρο του κ. Σηφάκη μπορεί να βρει κανείς στο IEEE/Computer: The Discipline of Embedded Systems Design (mirror εδώ).
Managing organized complexity 