Prix ​​Paris Kanellakis - Paris Kanellakis Award

Le Paris Kanellakis Theory and Practice Award est décerné chaque année par l' Association for Computing Machinery (ACM) pour honorer "des réalisations théoriques spécifiques qui ont eu un effet significatif et démontrable sur la pratique de l'informatique". Il a été institué en 1996, en mémoire de Paris C. Kanellakis , un informaticien décédé avec sa famille immédiate dans un accident d'avion en Amérique du Sud en 1995 ( American Airlines Flight 965 ). Le prix est accompagné d'un prix de 10 000 $ et est doté de contributions des parents de Kanellakis, avec un soutien financier supplémentaire fourni par quatre groupes d'intérêts spéciaux ACM ( SIGACT , SIGDA , SIGMOD et SIGPLAN ), le Fonds de projets ACM SIG et des contributions individuelles.

Gagnants

Année Gagnants Citation
1996 Leonard Adleman , Whitfield Diffie , Martin Hellman , Ralph Merkle , Ronald Rivest et Adi Shamir Pour « la conception et la première réalisation effective de la cryptographie à clé publique ».
1997 Abraham Lempel et Jacob Ziv Pour leur travail de pionnier dans la compression de données , menant à leur algorithme LZ qui "donne le meilleur taux de compression atteignable par les encodeurs à états finis" et "peut être trouvé dans pratiquement tous les ordinateurs modernes".
1998 Randal Bryant , Edmund M. Clarke , E. Allen Emerson et Kenneth L. McMillan Pour « leur invention de la « vérification de modèle symbolique », une méthode de vérification formelle des conceptions de systèmes largement utilisée dans l'industrie du matériel informatique ».
1999 Daniel Sleator et Robert Tarjan Pour "l'invention de la structure de données splay-tree largement utilisée ".
2000 Narendra Karmarkar Pour « son travail théorique dans la conception d'une méthode de point intérieur pour la programmation linéaire qui s'exécute de manière prouvable en temps polynomial , et pour son travail de mise en œuvre suggérant que les méthodes de point intérieur pourraient être efficaces pour la programmation linéaire en pratique comme en théorie ».
2001 Eugène Myers Pour « sa contribution au séquençage du génome humain, le contenu complet en ADN d'une cellule humaine , et au codage de tous ses gènes , les éléments constitutifs de base de la vie ».
2002 Pierre Franaszek Pour "ses contributions fondamentales et soutenues à la théorie et à l'application du codage de canal contraint ".
2003 Gary Miller , Michael Rabin , Robert Solovay et Volker Strassen Pour « leurs contributions à la réalisation des utilisations pratiques de la cryptographie et à la démonstration de la puissance des algorithmes qui font des choix aléatoires », à travers des travaux qui « ont conduit à deux tests de primalité probabilistes , connus sous le nom de test de Solovay-Strassen et de test de Miller-Rabin ».
2004 Yoav Freund et Robert Schapire Pour leur « travail fondateur et leurs contributions remarquables [...] au développement de la théorie et de la pratique du boosting , une méthode générale et dont l'efficacité est prouvée pour produire des règles de prédiction arbitrairement précises en combinant des règles d'apprentissage faibles » ; en particulier, pour AdaBoost , leur algorithme d' apprentissage automatique , qui "peut être utilisé pour réduire considérablement l'erreur des algorithmes utilisés dans l'analyse statistique , le filtrage du spam , la détection des fraudes , la reconnaissance optique de caractères et la segmentation du marché , entre autres applications".
2005 Gérard Holzmann , Robert Kurshan , Moshe Vardi et Pierre Wolper Pour « leur contribution aux techniques qui fournissent de puissants outils de vérification formelle pour les systèmes matériels et logiciels ».
2006 Robert Brayton Pour "ses contributions innovantes à la synthèse logique et à la simulation de systèmes électroniques , qui ont rendu possible des technologies de conception de circuits rapides pour l' industrie de l' automatisation de la conception électronique ".
2007 Bruno Buchberger Pour « son rôle dans le développement de la théorie des bases de Groebner , qui est devenue un élément essentiel du calcul formel et est largement utilisée en science, en ingénierie et en informatique ».
2008 Corinna Cortés et Vladimir Vapnik Pour « leur développement révolutionnaire d'un algorithme hautement efficace connu sous le nom de machines à vecteurs de support (SVM), un ensemble de méthodes d' apprentissage supervisé associées utilisées pour la classification et la régression des données », qui est « l'un des algorithmes les plus fréquemment utilisés dans l'apprentissage automatique , et est utilisé dans le diagnostic médical , la prévision météorologique et la détection d'intrusion parmi de nombreuses autres applications pratiques".
2009 Mihir Bellare et Phillip Rogaway Pour "leur développement d'une sécurité prouvable orientée vers la pratique , qui a abouti à une cryptographie de haute qualité et rentable , un élément clé de la sécurité Internet à une époque de croissance explosive des transactions en ligne".
2010 Kurt Mehlhorn Pour les "contributions à l'ingénierie des algorithmes qui ont conduit à la création de la Library of Efficient Data Types and Algorithms (LEDA)", une collection de logiciels de structures de données et d'algorithmes qui "a été incorporée dans les programmes de recherche appliquée de milliers d'entreprises du monde entier dans les télécommunications , bioinformatique , conception assistée par ordinateur (CAO) et systèmes d'information géographique (SIG), banque, produits optiques et transports".
2011 Hanan Samet Pour "des recherches pionnières sur les arbres quaternaires et d'autres structures de données spatiales multidimensionnelles pour trier les informations spatiales, ainsi que ses livres bien reçus, qui ont profondément influencé la théorie et l'application de ces structures".
2012 Andrei Broder , Moïse S Charikar et Piotr Indyk Pour "leurs travaux révolutionnaires sur le hachage sensible à la localité qui ont eu un grand impact dans de nombreux domaines de l'informatique, notamment la vision par ordinateur , les bases de données, la recherche d'informations , l'apprentissage automatique et le traitement du signal ".
2013 Robert D. Blumofe et Charles E. Leiserson Pour « contributions à un calcul parallèle efficace et robuste grâce à des protocoles d'ordonnancement aléatoires dont l'efficacité est prouvée et à un ensemble de primitives en langage parallèle constituant le cadre Cilk ». Ils ont développé des algorithmes d'ordonnancement de vol de travail aléatoire prouvés efficaces, et Cilk, un petit ensemble de primitives linguistiques pour la programmation de calculs multithreads.
2014 Jacques Demmel Pour "contributions aux algorithmes et logiciels d'algèbre linéaire numérique utilisés dans le calcul scientifique et l'analyse de données à grande échelle".
2015 Michel Luby Pour "des contributions révolutionnaires à l' effacement des codes correcteurs , indispensables à l'amélioration de la qualité de la transmission vidéo sur Internet".
2016 Amos Fiat et Moni Naor Pour "le développement de systèmes de cryptage de diffusion et de traçage des traîtres ".
2017 Scott Shenker Pour « contributions pionnières à la mise en file d'attente équitable dans les réseaux à commutation de paquets , qui ont eu un impact majeur sur la pratique moderne de la communication informatique ».
2018 Pavel A. Pevzner Pour « contributions pionnières à la théorie, à la conception et à la mise en œuvre d'algorithmes pour la reconstruction de chaînes et à leurs applications dans l' assemblage de génomes ».
2019 Noga Alon , Phillip Gibbons , Yossi Matias et Mario Szegedy Pour "un travail fondateur sur les fondements des algorithmes de streaming et leur application à l'analyse de données à grande échelle".
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher et Eli Upfal Pour "la découverte et l'analyse d'allocations équilibrées, connues sous le nom de pouvoir de deux choix, et leurs applications étendues à la pratique".

Voir également

Les références

Liens externes