Theory of Computation at Princeton

Theoretical computer science (TCS) studies efficient algorithms and protocols, which ultimately enable much of modern computing. But even more than that, the very concept of computation gives a fundamental new lens for examining the world around us. It underlies many 20th century inventions such as cryptography, computational biology, machine learning, quantum computing, etc. An abiding interest in the power of computation has been a regular feature of life at Princeton since the times of Turing, Church, Goedel and von Neumann (all Princeton residents). The TCS group continues today to pursue research in many areas of theory, including complexity theory, algorithms, data structures, computational geometry, cryptography, machine learning and computational economics. We have close connections with faculty in other groups, including computational biology, graphics, networks and systems.
Princeton is a wonderful place for TCS research. The presence of active research groups at the CS and Math depts, as well as the nearby Institute of Advanced Study (not to mention Rutgers/Dimacs half an hour away) ensures that almost every day there is an exciting talk to go to, or an exciting visitor to meet.


We are accepting applications for postdoctoral positions for the next academic year! Please check our Resources page for more info.

Prof. Zhandry awarded Best Young Researcher at CRYPTO 2016

Mark Braverman wins Presburger Award!

New limit to the Church-Turing thesis accounts for noisy systems

Robert Tarjan receives honorary doctorate from University of Waterloo

Ankit Garg awarded the Siebel Scholarship

Zeev Dvir and Sivakanth Gopi win Best Paper at STOC 2015

Rafael Oliveira wins Best Student Paper at CCC 2015

Sanjeev Arora Elected to AAAS

Tengyu Ma Receives IBM Fellowship Award

Prof. Braverman awarded Smale Prize

Subhash Khot becomes CS dept. third winner of Nevanlinna Prize