Research Interests: Programming languages, compilers, computer security.
Research Interests: Uses of randomness in complexity theory and algorithms; Efficient algorithms for finding approximate solutions to NP-hard problems (or proving that they don't exist); Cryptography.
David August (on leave)
Research Interests: Computer Architecture and Compilers.
Research Interests: Complexity theory, algorithms, game theory, machine learning, and applications of computer science in healthcare and medicine.
Moses Charikar (on leave)
Research Interests: Design and analysis of algorithms, particularly approximation algorithms, on-line algorithms and efficient algorithms for dealing with large volumes of data.
Bernard Chazelle (on leave)
Research Interests: Natural Algorithms, Dynamical Systems, Dynamic Networks, Computational Geometry, Discrepancy Theory.
Research Interests: Computer architecture and organization; architecturally-focused performance analysis.
Research Interests: Visualization, pervasive computing, software engineering.
Research Interests: Computational complexity, pseudo-randomness, coding theory and discrete mathematics.
Research Interests: Machine learning, Bayesian statistics, statistical genetics, computational biology, quantitative genetics.
Research Interests: Lexical semantics, the syntax-semantics interface, syntactic alternations, computational linguistics, large-scale lexical resources, idioms, ontology.
Research Interests: Computer security; network software; technology law and policy.
Research Interests: Computer graphics, animation.
Michael Freedman (on leave)
Research Interests: Distributed systems, security, networking.
Research Interests: Computer graphics and computer vision.
Elad Hazan (on leave)
Research Interests: Application-specific languages, document preparation, user interfaces, software tools, programming methodology.
Research Interests: Computational Complexity, Algorithmic Game Theory, Graph Theory and Combinatorial Optimization.
Research Interests: Search and retrieval of information; data mining, particularly clustering; combinatorial algorithms.
Research Interests: Parallel architectures and systems; distributed systems; operating systems.
Research Interests: Probabilistic algorithms, data streaming, data structures, analysis of algorithms, analytic combinatorics.
Research Interests: Computer Architecture, Power-Aware Computing, and Mobile Computing.
Research Interests: privacy, security, tech policy, cryptography, social networks
Vivek Pai (on leave)
Research Interests: Network/Web servers, operating systems, high-performance applications.
Research Interests: Networked systems, communication protocols, operating systems.
Research Interests: Networking, network virtualization, Internet measurement, network management, network troubleshooting.
Szymon Rusinkiewicz (on leave)
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
Robert Schapire (on leave)
Research Interests: Machine learning.
Research Interests: Scientific analysis of algorithms, Analytic combinatorics.
Research Interests: Parallel computing systems and applications: parallel applications and their implications for software and architectural design; system software and programming environments for multiprocessors. Special interest in applications of computing in computational biology, especially protein structure determination and simulating the immune system.
Research Interests: Computational molecular biology, as well as its interface with machine learning and algorithms.
Research Interests: Data structures; graph algorithms; combinatorial optimization; computational complexity; computational geometry; parallel algorithms.
Olga Troyanskaya (on leave)
Research Interests: Bioinformatics; analysis of large-scale biological data sets (genomics, gene expression, proteomics, biological networks); algorithms for integration of data from multiple data sources; visualization of biological data; machine learning methods in bioinformatics.
Research Interests: Programming languages, type systems, compilers, data processing and security.