Dick Lipton, Frederick G. Storey Chair in Computing in the School of Computer Science, added a second major award to his credentials this year as he was recently named the winner of the 2014 Knuth Prize for his contributions to the foundations of computer science.
Lipton was cited for his planar separator theorem (with Robert Tarjan), for pioneering the design of algorithms that make random choices in order to solve computational problems, for proving a fundamental theorem in circuit complexity (with Richard Karp), and for being an early developer of communication complexity. Please see the citation from ACM for more details.
