The Faculty and Their Interests
Clark W. 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.
Computational fluid dynamics, adaptive methods, and parallel scientific computing.
Algorithms for learning regulatory networks/biological control, computational structural biology, and systems-biology.
Richard J. Cole
Algorithmics, algorithmic economics and game theory, algorithms in nature and society.
Patrick M. Cousot
Abstract interpretation, semantics, verifcation, and static analysis.
Artificial intelligence, knowledge representation, and automated commonsense reasoning.
Cryptography, security, information theory, complexity theory, algorithms.
Computer vision and computational photography.
Computational vision, learning, memory, and applications.
Design and implementation of programming languages, compiler verification, and compiler optimizations.
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.
Algorithmic techniques for designing computer-based systems.
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.
Distributed systems, operating systems, wireless networks.
Bioinformatics, algorithmic algebra, robotics, computational biology, and computational finance.
Machine learning, computational biology, text and speech processing, algorithms, and theory.
Numerical analysis, linear algebra, optimization, and mathematical programming.
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.
Lattice-based 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.
Machine learning, graphical models, artificial intelligence
Theoretical computer science and discrete mathematics.
Networks, distributed systems, computing for development .
Systems, security, and networks.
Program analysis and verification; automated deduction; concurrent software; software productivity
Optimization, scientific computing, and linear algebra.
Computational geometry, computer algebra, visualization, algorithmic robotics, complexity theory, and numerical robustness issues and exact computation.
Computer graphics, geometric modeling, subdivision surfaces, multiresolution surface representations, fluid and solid simulation, and perceptually based methods for computer graphics.
Natural Language Processing, Linguistics, Pre-college Computer Science Education.
Natural language processing, synctactic analysis, and information extraction.