Ο Torontonian κερδίζει το κορυφαίο βραβείο επιστήμης του Καναδά για την Έρευνα Υπολογιστικής Πολυπλοκότητας

Ο Stephen Cook κέρδισε το κορυφαίο ετήσιο επιστημονικό βραβείο του Καναδά για την έρευνά του σχετικά με την υπολογιστική πολυπλοκότητα και την πολυπλοκότητα απόδειξης.

Ο ερευνητής από το Τορόντο, του οποίου η τεχνογνωσία βρίσκεται στη θεωρητική επιστήμη των υπολογιστών και στα μαθηματικά που περιλαμβάνει τον υπολογισμό του χρόνου και της μνήμης που θα χρειαστούν οι υπολογιστές για την επίλυση διαφορετικών τύπων προβλημάτων, κέρδισε το φετινό χρυσό μετάλλιο Gerhard Herzberg Canada for Science and Engineering. Το βραβείο είναι για πολλά περισσότερα από απλά δικαιώματα καυχησιολογίας: συνοδεύεται από χρηματοδότηση 1 εκατομμυρίου δολαρίων έρευνας τα επόμενα πέντε χρόνια.



Ένας τομέας που ερευνά η Cook είναι η κρυπτογράφηση δεδομένων. Λέει ότι οι πληροφορίες κρυπτογραφούνται καθώς περνούν μεταξύ ενός υπολογιστή και του διακομιστή μιας εταιρείας, αλλά αυτά τα κρυπτογραφημένα δεδομένα είναι δημόσια ορατά και υποκλοπή. Η υπόθεση είναι ότι η κρυπτογράφηση είναι υπολογιστικά δυσεπίλυτη. Ωστόσο, ο Cook προτείνει ότι αυτό μπορεί να μην ισχύει. Η κρυπτογράφηση θα μπορούσε να είναι επιλύσιμη. Και αν είναι, πιθανότατα ο Κουκ θα είναι αυτός που θα το λύσει.



Ο Κουκ έλαβε το μετάλλιο από τον Γενικό Κυβερνήτη Ντέιβιντ Τζόνστον σε τελετή στο Rideau Hall στην Οτάβα την Τετάρτη το απόγευμα.

Το Ερευνητικό Συμβούλιο Φυσικών Επιστημών και Μηχανικής του Καναδά λέει ότι η εργασία του Κουκ είναι πλέον ένα από τα πιο ουσιαστικά θεωρητικά αποτελέσματα που πρέπει να κατανοήσουν όλοι οι απόφοιτοι επιστήμης υπολογιστών.



Kategori: Νέα