Fellow
United States – 1995
CITATION

For fundamental contributions to the theory of complexity and algorithms and for outstanding service to ACM.