About Stanford Theory

As theoretical computer scientists, we seek greater understanding of fundamental computational techniques and their inherent limitations. Research includes the development and analysis of algorithms for a variety of settings and applications. Major directions include Complexity Theory, the Design and Analysis of Algorithms, Cryptography, Algorithmic Game Theory, Geometric Algorithms, algorithmic techniques for internet applications, various aspects of network and computer security, databases, design and analysis of programs and programming languages, and supporting studies in combinatorial, logical, and algebraic mathematics. Please see the research page for an overview of research in a sampling of areas, and refer to the faculty pages for specific research interests.


  • We invite applications for the inaugural Motwani Postdoctoral Fellowship in Theoretical Computer Science, made possible by a generous gift from the Motwani-Jadeja foundation. Application instructions here. Apply by Jan 6, 2017 for full consideration.
  • Please see the Motwani lecture series in memory of our late colleague Rajeev Motwani, who has been an inspiration to generations of theory researchers.

Recurring Events