Propositional satisfiability (SAT), satisfiability modulo theories (SMT), automated deduction and applied logic, proof-producing algorithms, formal and semi-formal verification of hardware and software, and combining verification systems.
Marsha J. Berger
Computational fluid dynamics, adaptive methods, and parallel scientific computing.
Algorithms for learning regulatory networks/biological control, computational structural biology, and systems-biology.
Graphics, computer vision, animation, visualization, and modeling.
Richard J. Cole
Algorithmics, algorithmic economics and game theory, and algorithms in nature and society.
Abstract interpretation, semantics, verifcation, and static analysis.
Artificial intelligence, knowledge representation, and automated commonsense reasoning.
Cryptography, approximation algorithms, information theory, lower bounds, and combinatorics.
Computer vision and computational photography.
Computational vision, learning, memory, and applications.
Benjamin F. Goldberg
Design and implementation of programming languages, compiler optimizations, and memory management.
Parallel computing, computer architecture, operating systems, distributed systems, and free software.
Operating systems, distributed systems, and interaction of programming languages and systems.
Natural language processing.
Zvi M. Kedem
Algorithmic techniques for designing computer-based systems.
Algorithms, computational complexity, and computational intractability.
Machine learning, computer vision, autonomous robotics, digital libraries, and data compression.
Operating systems, distributed systems, informational retrieval, and wireless networks.
Bioinformatics, algorithmic algebra, robotics, computational biology, and computational finance.
Machine learning, computational biology, text and speech processing, algorithms, and theory.
Michael L. Overton
Numerical analysis, linear algebra, optimization, and mathematical programming.
Computer graphics, simulation, computer/human interface, multimedia, and animation.
Dennis E. Shasha
Pattern discovery and combinatorial design for biology, software for searching databases of trees and graphs, design of large database systems, data mining in financial and biological databases, cryptographic file systems, puzzles, and recreational mathematicals.
Cryptography and algorithms.
Alan R. Siegel
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, and combinatorial geometry.
Computer graphics, geometric modeling, interactive shape and image manipulation, digital geometry processing, and expressive modeling.
Joel H. Spencer
Theoretical computer science and discrete mathematics.
Networks, distributed systems, security, overlay networks, wireless networks, and computer science technologies for health care with specific emphasis on developing countries.
Margaret H. Wright
Optimization, scientific computing, and linear algebra.
Chee K. Yap
Computational geometry, computer algebra, visualization, algorithmic robotics, complexity theory, and numerical robustness issues and exact computation.
Hardware/software interaction, multicore/manycore processing, and computer architecture
Computer graphics, geometric modeling, subdivision surfaces, multiresolution surface representations, fluid and solid simulation, and perceptually based methods for computer graphics.
Natural Language Processing, Linguistics.
Natural language processing, science information structures, medical informatics, and speech recognition.
Natural language processing, synctactic analysis, and information extraction.
Scientific computing, fast algorithms and potential theory.
Social and political aspects of computing, values in IT design, and privacy.
Discrete geometry, computational geometry, and algorithmic real algebraic geometry.
Mathematical biology, numerical analysis, and computational chemistry.
Numerical analysis, computational fluid dynamics, and moving boundary problems.
Olof B. Widlund
Numerical analysis and applied mathematics, in particular the development of fast iterative methods for parallel and distributed computers.