Theoretical computer scientists seek greater understanding of fundamental computational techniques and their inherent limitations. Research includes the development of new sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and supporting studies in combinatorial, logical, and algebraic mathematics.

Faculty

Research Focus

Dan Boneh	applied cryptography, network security
John T. Gill, III	complexity, probabilistic computation, data compression, error control codes
Ashish Goel	Networks, self-assembly, Internet commerce, social networks and reputation systems, fairness
Daphne Koller	probability theory, decision theory, game theory, probabilistic inference
Zohar Manna	formal verification
John Mitchell	computer security: access control, network protocols, privacy, software systems, web security
Rajeev Motwani	databases, data mining, information retrieval, search
Serge Plotkin	theoretical computer science, combinatorial optimization, networking, distributed computation, security
Vaughan Pratt	handheld PCs, chu spaces, concurrency modeling
Tim Roughgarden	algorithms, network and combinatorial optimization, game theory

Projects:

APPeers: Cooperative Networked Control of Dynamical Peer-to-Peer Vehicle Systems

Approximation Algorithms

PORTIA: Managing sensitive information in a wired world

PwdHash - Web Password Hashing

Research Areas : Theory