Το βραβείο Turing (Turing Award) είναι η μεγαλύτερη διάκριση στον τομέα της πληροφορικής (όπως ακριβώς το Nobel για άλλες επιστήμες. Δίνεται κάθε χρόνο σε κάποιον επιστήμονα ή σε κάποια ομάδα επιστημόνων, από την ACM, ως βράβευση για κάποια δουλειά τους.
Μάθετε περισσότερα για το βραβείο Turing από εδώ και εδώ.
Το φετινό βραβείο Turing (2007) πήρε ο έλληνας Ιωσήφ Σηφάκης (Joseph Sifakis), μαζί με τους Edmund M. Clarke και E. Allen Emerson. Το βραβείο τους απονεμήθηκε για την εργασία τους πάνω στο "Model Checking", μια διαδικασία που ελέγχει αν μια δεδομένη δομή είναι μοντέλο μιας δεδομένης συνάρτησης (formula).
Δείτε την είδηση στον ελληνικό τύπο από εδώ.
Μάθετε περισσότερα για το Model Checking από εδώ.
Μάθετε περισσότερα για τον Ιωσήφ Σηφάκη από εδώ.
Μάθετε περισσότερα για το βραβείο Turing από εδώ και εδώ.
Το φετινό βραβείο Turing (2007) πήρε ο έλληνας Ιωσήφ Σηφάκης (Joseph Sifakis), μαζί με τους Edmund M. Clarke και E. Allen Emerson. Το βραβείο τους απονεμήθηκε για την εργασία τους πάνω στο "Model Checking", μια διαδικασία που ελέγχει αν μια δεδομένη δομή είναι μοντέλο μιας δεδομένης συνάρτησης (formula).
Δείτε την είδηση στον ελληνικό τύπο από εδώ.
Μάθετε περισσότερα για το Model Checking από εδώ.
Μάθετε περισσότερα για τον Ιωσήφ Σηφάκη από εδώ.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου