ACM_Citations

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.

Experience

Sign in to view more

Education

Sign in to view more

Bio

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.

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.