ACM Fellows
United States – 2000
CITATION

For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students.