Fellow
United States – 1999
CITATION

For fundamental contributions to the development of computational theory and practice, particularly complexity theory, compiler design, and concurrency control for databases and systems.