The Faculty and Their Interests
Faculty
Clark W. Barrett
Propositional satisfiability (SAT), satisfiability modulo theories (SMT), automated deduction and applied logic, proofproducing algorithms, formal and semiformal verification of hardware and software, and combining verification systems.
Marsha Berger
Computational fluid dynamics, adaptive methods, and parallel scientific computing.
Richard Bonneau
Algorithms for learning regulatory networks/biological control, computational structural biology, and systemsbiology.
Richard J. Cole
Algorithmics, algorithmic economics and game theory, algorithms in nature and society.
Patrick M. Cousot
Abstract interpretation, semantics, verifcation, and static analysis.
Ernest Davis
Artificial intelligence, knowledge representation, and automated commonsense reasoning.
Yevgeniy Dodis
Cryptography, security, information theory, complexity theory, algorithms.
Rob Fergus
Computer vision and computational photography.
Davi Geiger
Computational vision, learning, memory, and applications.
Benjamin Goldberg
Design and implementation of programming languages, compiler verification, and compiler optimizations.
Allan Gottlieb
Parallel computing, computer architecture, operating systems, distributed systems, and free software.
Ralph Grishman
Natural language processing.
Zvi Kedem
Algorithmic techniques for designing computerbased systems.
Subhash Khot
Algorithms, computational complexity, and computational intractability.
Yann Andre LeCun
Machine learning, computer vision, autonomous robotics, computational neuroscience, computational statistics, computational economics, hardware architectures for vision, digital libraries, and data compression.
Jinyang Li
Distributed systems, operating systems, 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 Overton
Numerical analysis, linear algebra, optimization, and mathematical programming.
Kenneth Perlin
Computer graphics, simulation, computer/human interface, multimedia, and animation.
Theodore (Ted) S. Rappaport
Wireless communication systems and networks, compressed sensing for wireless and video applications, RF/Analog circuit design, antennas and propagation, wireless for medical applications.
Oded Regev
Latticebased cryptography, quantum computation, and mathematical aspects of theoretical computer science.
Dennis E. Shasha
Network inference and protein design for biology, software for searching databases of trees and graphs, outsourcing data while preserving privacy, finding patterns in time series, DNA computing, and puzzles.
Victor J. Shoup
Cryptography and algorithms.
Alan R. Siegel
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, and combinatorial geometry.
David Sontag
Machine learning, graphical models, artificial intelligence
Joel Spencer
Theoretical computer science and discrete mathematics.
Lakshminarayanan Subramanian
Networks, distributed systems, computing for development .
Michael Walfish
Systems, security, and networks.
Thomas Wies
Program analysis and verification; automated deduction; concurrent software; software productivity
Margaret Wright
Optimization, scientific computing, and linear algebra.
Chee Yap
Computational geometry, computer algebra, visualization, algorithmic robotics, complexity theory, and numerical robustness issues and exact computation.
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, Precollege Computer Science Education.
Satoshi Sekine
Natural language processing, synctactic analysis, and information extraction.
