The Faculty and Their Interests

 

Faculty

Clark Barrett

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.

Richard Bonneau

Algorithms for learning regulatory networks/biological control, computational structural biology, and systems-biology.

Christoph Bregler

Graphics, computer vision, animation, visualization, and modeling.

Richard J. Cole

Algorithmics, algorithmic economics and game theory, and algorithms in nature and society.

Patrick Cousot

Abstract interpretation, semantics, verifcation, and static analysis.

Ernest Davis

Artificial intelligence, knowledge representation, and automated commonsense reasoning.

Yevgeniy Dodis

Cryptography, approximation algorithms, information theory, lower bounds, and combinatorics.

Rob Fergus

Computer vision and computational photography.

Davi Geiger

Computational vision, learning, memory, and applications.

Benjamin F. Goldberg

Design and implementation of programming languages, compiler optimizations, and memory management.

Allan Gottlieb

Parallel computing, computer architecture, operating systems, distributed systems, and free software.

Robert Grimm

Operating systems, distributed systems, and interaction of programming languages and systems.

Ralph Grishman

Natural language processing.

Zvi M. Kedem

Algorithmic techniques for designing computer-based systems.

Subhash Khot

Algorithms, computational complexity, and computational intractability.

Yann LeCun

Machine learning, computer vision, autonomous robotics, digital libraries, and data compression.

Jinyang Li

Operating systems, distributed systems, informational retrieval, and wireless networks.

Bhubaneswar Mishra

Bioinformatics, algorithmic algebra, robotics, computational biology, and computational finance.

Mehryar Mohri

Machine learning, computational biology, text and speech processing, algorithms, and theory.

Michael L. Overton

Numerical analysis, linear algebra, optimization, and mathematical programming.

Kenneth Perlin

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.

Victor Shoup

Cryptography and algorithms.

Alan R. Siegel

VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, and combinatorial geometry.

Olga Sorkine

Computer graphics, geometric modeling, interactive shape and image manipulation, digital geometry processing, and expressive modeling.

Joel H. Spencer

Theoretical computer science and discrete mathematics.

Lakshminarayanan Subramanian

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.

Mohamed Zahran

Hardware/software interaction, multicore/manycore processing, and computer architecture

Denis Zorin

Computer graphics, geometric modeling, subdivision surfaces, multiresolution surface representations, fluid and solid simulation, and perceptually based methods for computer graphics.

 

Research Faculty

Adam Meyers

Natural Language Processing, Linguistics.

Naomi Sager

Natural language processing, science information structures, medical informatics, and speech recognition.

Satoshi Sekine

Natural language processing, synctactic analysis, and information extraction.

 

Associated Faculty

Leslie Greengard

Scientific computing, fast algorithms and potential theory.

Helen Nissenbaum

Social and political aspects of computing, values in IT design, and privacy.

Richard Pollack

Discrete geometry, computational geometry, and algorithmic real algebraic geometry.

Tamar Schlick

Mathematical biology, numerical analysis, and computational chemistry.

Anna-Karin Tornberg

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.