Fellow
United States – 2001
CITATION

For outstanding contributions to computer science research and education in the areas of heuristic search, analysis of algorithms, and programming language methodology.