ACM Paris Kanellakis Theory and Practice Award

Theoretical accomplishments that have had a significant, demonstrable effect on the practice of computing