Paris Kanellakis Prize
The Paris Kanellakis Award ( Paris Kanellakis Theory and Practice Award ) is a computer science Price of the Association for Computing Machinery (ACM) for theoretical achievements that have a significant impact on the practice of computing. It is named after the computer scientist Paris Kanellakis (1953 to 1995), professor of computer science at Brown University , who died in a plane crash in South America in 1995 (American Airlines Flight 965), and was donated by his family. The $ 5000 prize has been awarded since 1996.
Award winners
- 1996 Leonard Adleman , Whitfield Diffie , Martin Hellman , Ralph Merkle , Ronald L. Rivest , Adi Shamir ( public key cryptography )
- 1997 Abraham Lempel , Jacob Ziv ( data compression )
- 1998 Randal Bryant , Edmund M. Clarke , Allen Emerson , Kenneth L. McMillan (Symbolic Model Checking )
- 1999 Daniel Sleator , Robert Tarjan ( Splay tree data structure)
- 2000 Narendra Karmarkar ( linear programming , inner points method in polynomial time with the Karmarkar algorithm)
- 2001 Eugene Myers (software and algorithms for genome sequencing )
- 2002 Peter Franaszek (Constrained Channel Coding)
- 2003 Gary L. Miller , Michael O. Rabin , Robert M. Solovay , Volker Strassen ( primality tests )
- 2004 Yoav Freund , Robert Schapire (AdaBoost algorithm in machine learning )
- 2005 Gerard Holzmann , Robert Kurshan , Moshe Y. Vardi , Pierre Wolper ( formal verification of reactive systems)
- 2006 Robert Brayton ( logic synthesis and simulation of electronic systems)
- 2007 Bruno Buchberger ( Groebner base )
- 2008 Corinna Cortes , Wladimir Wapnik ( Support Vector Machine )
- 2009 Mihir Bellare , Phillip Rogaway (for Practice-Oriented Provable Security, Practice-Oriented Provable Security)
- 2010 Kurt Mehlhorn (algorithm design, Leda algorithm database, Library of Efficient Data types and Algorithms)
- 2011 Hanan Samet (multi-dimensional spatial data infrastructure and indexing )
- 2012 Andrei Broder , Moses S. Charikar , Piotr Indyk (Locality-Sensitive Hashing )
- 2013 Robert D. Blumofe , Charles E. Leiserson (Protocols for Parallel Computing )
- 2014 James Demmel ( numerical linear algebra libraries , including LAPACK )
- 2015 Michael George Luby ( Erasure correcting code )
- 2016 Amos Fiat , Moni Naor ( broadcast encryption and traitor tracing systems )
- 2017 Scott Shenker ( fair queuing in packet switched -networks, English: fair queuing in packet-switching networks )
- 2018 Pavel Pevzner (for pioneering contributions to theory, design and implementation of algorithms for string reconstruction and their application to the construction of genomes)
- 2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy (for groundbreaking work on the foundation of streaming algorithms and their application to large-scale data analysis)