• USA-1995

    For pioneering contributions to formal languages, compiler design, algorithm analysis, databases, parallel and fault-tolerant computing and for exemplary ACM service including Editorship of JACM.

Statement of Research
Research interests are in algorithms, database systems, and high-performance computing.

Algorithms interests are in combinatorial optimization and network design, particularly developing approximation methods. Also algorithms for analysis, design, transformation, and optimization of various design objects, including programs, hardware, simulation models, specifications, networks, grammars, etc.

Database systems interests are concurrency control, distributed databases, web databases, and data mining. This involves formalizing appropriate models for the concepts involved, and devising efficient algorithms where possible.

High-performance computing interests are in compiling for distributed architectures and in algorithms for distributed systems.