Theory

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.

Tim Roughgarden

Photo: 
Title: 
Assistant Professor of Computer Science and (by courtesy) of Management Science and Engineering
Research Focus: 
algorithms, network and combinatorial optimization, game theory

Vaughan Pratt

Photo: 
Title: 
Professor of Computer Science and, by courtesy, of Electrical Engineering, Emeritus
Research Focus: 
handheld PCs, chu spaces, concurrency modeling

Serge Plotkin

Photo: 
Title: 
Associate Professor of Computer Science
Research Focus: 
theoretical computer science, combinatorial optimization, networking, distributed computation, security

John Mitchell

Photo: 
Title: 
Professor of Computer Science
Research Focus: 
computer security: access control, network protocols, privacy, software systems, web security

Zohar Manna

Photo: 
Title: 
Professor of Computer Science
Research Focus: 
formal verification

Ashish Goel

Photo: 
Title: 
Associate Professor of Management Science and Engineering and, by courtesy, of Computer Science
Research Focus: 
Networks, self-assembly, Internet commerce, social networks and reputation systems, fairness

Dan Boneh

Photo: 
Title: 
Professor of Computer Science
Research Focus: 
applied cryptography, network security
Syndicate content