•
Gödel Prize, for outstanding papers in theoretical computer science (sponsored jointly with
EATCS) •
Donald E. Knuth Prize, for outstanding contributions to the foundations of computer science (sponsored jointly with
IEEE Computer Society's Technical Committee on the Mathematical Foundations of Computing) •
Edsger W. Dijkstra Prize in distributed computing (sponsored jointly with SIGOPS,
EATCS, and companies) •
Paris Kanellakis Theory and Practice Award, for theoretical accomplishments of significant and demonstrable effect on the practice of computing (
ACM Award co-sponsored by SIGACT) •
Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics (ACM Award co-sponsored by SIGACT) •
Danny Lewin Best Student Paper Award • Best Paper Award for ACM
STOC and
IEEE FOCS conference papers • ACM SIGACT Distinguished Service Award ==References==