Fellow
United States – 1997
CITATION

For sustained excellence in research in virtually every aspect of theoretical computer science. He has produced some of the most influential work in the field.