ACM Fellows
United States – 1996
CITATION

For outstanding technical contributions to theoretical computer science, and for dedicated service to the computer science community.