ACM "Oscar" Theory and Practice 2007
Die von der ACM, der Association for Computing Machinery jährlich in verschiedenen Kategorien verliehenen Preise gelten als eine Art "Oscar" der Computer Science. Der an Buchberger 2007 verliehene "Kanellakis Award Theory and Practice" zeichnet Ergebnisse der Grundlagenforschung aus, die gleichzeitig zu signifikanten praktischen Anwendungen geführt haben. Buchberger hat den Preis für die von ihm erfundene Theorie der Gröbner-Basen erhalten, mit welchem beliebige nicht-lineare Systeme behandelt werden können. Solche Systeme kommen überall in den Naturwissenschaften, der Technik, der Medizin und der Wirtschaft vor. So verschiedene Probleme wie die Bestimmung der Verwandtschaft von Genen oder die Entschlüsselung kryptographischer Codes können mit der Methode der Gröbner-Basen gelöst werden.