Research Interests: Software verification, computer security, programming languages, compilers
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.
Research Interests: Computer Architecture and Compilers.
Research Interests: Complexity theory, algorithms, game theory, machine learning, and applications of computer science in healthcare and medicine.
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: Network systems, security, management, and measurement.
Research Interests: Lexical semantics, the syntax-semantics interface, syntactic alternations, computational linguistics, large-scale lexical resources, idioms, ontology.
Edward Felten (on leave)
Research Interests: Computer security; network software; technology law and policy.
Research Interests: Computer graphics, animation.
Research Interests: Networking and Telecommunications, Computer-Human Interaction, Online Learning and MOOCs, R&D Innovation Methodologies
Michael Freedman (on leave)
Research Interests: Distributed systems, security, networking.
Research Interests: Computer graphics and computer vision.
Research Interests: technology in education, learning sciences, HCI
Research Interests: Formal verification, program analysis, logic decision procedures
Research Interests: Networking, Wireless Systems, Internet of Things
Research Interests: Mobile software, middleware and protocols; communication and networking for consumer applications and services, software engineering.
Brian Kernighan (on leave)
Research Interests: Application-specific languages, document preparation, user interfaces, software tools, programming methodology.
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.
Margaret Martonosi (on leave)
Research Interests: Computer Architecture, Power-Aware Computing, and Mobile Computing.
Research Interests: Distributed systems, computer science education
Research Interests: privacy, security, tech policy, cryptography, social networks
Research Interests: Networked systems, communication protocols, operating systems.
Research Interests: Networking, network virtualization, Internet measurement, network management, network troubleshooting.
Research Interests: Computer graphics; acquisition of 3D shape, reflectance, and appearance of real-world objects.
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.
David Walker (on leave)
Research Interests: Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.