This website does readability filtering of other pages. All styles, scripts, forms and ads are stripped. If you want your website excluded or have other feedback, use this form.

Harvard TOC

Skip to main content

HARVARD.EDU

Harvard John A. Paulson School of Engineering and Applied Sciences

Overview

Harvard has had a long history of groundbreaking research in the theory of computation (ToC, also known as Theoretical Computer Science). This field addresses the mathematical laws that govern efficient computation, whether by man-made devices or natural phenomena. Today ToC had vastly expanded to touch many problems not just in computer science and engineering, but also pure and applied mathematics, as well as the natural, life and social sciences. Members of the ToC group at Harvard are pursuing both the fundamental questions of computation, as well as its applications to many areas, and are closely collaborating with colleagues across all of these fields.

News & Announcements

More News

f09093e1e2bd57c9e54485f870262fbd

Showing events after 9/2. Look for earlier events Friday, September 9 1:30pm Harvard/MIT/MSR joint Seminar Monday, September 12 1:00pm Theory Seminar - Sushant Sachdeva Friday, September 16 1:30pm Harvard/MIT/MSR joint Seminar: Oded Regev [H] Friday, September 23 1:30pm Harvard/MIT/MSR joint Seminar: No seminar? (MIT Holiday) Monday, September 26 1:00pm Theory Seminar - Barna Saha Friday, September 30 1:30pm Harvard/MIT/MSR joint Seminar [M] Friday, October 7 1:30pm Harvard/MIT/MSR joint Seminar: No seminar? (FOCS and Avi's event) Friday, October 14 1:30pm Harvard/MIT/MSR joint Seminar [H] Monday, October 17 1:00pm Theory Seminar - Huacheng Yu Friday, October 21 1:30pm Harvard/MIT/MSR joint Seminar [H]: Sebastien Bubeck Friday, October 28 1:30pm Harvard/MIT/MSR joint Seminar [M]; Larry Guth Showing events until 10/31. Look for more Calendar Loading...

View more

Our Research Areas

Design and Analysis of Algorithms

Barak, Mitzenmacher, Nelson, Rabin, Singer, Valiant

Computational Complexity

BarakDworkNelson, Sudan, Vadhan, Valiant

Logic in Computer Science

Lewis

Error-Correcting Codes

ElkiesMitzenmacher, Sudan, Vadhan

Cryptography

Barak, DworkRabin, Vadhan

Learning Theory & Cognitive Computation

Valiant

Randomness in Computation

BarakMitzenmacher, Nelson, Rabin, Sudan, Vadhan

Computational Neuroscience

Valiant

Computational Algebra & Number Theory

Elkies, Rabin, Sudan, Valiant

Parallel Computation

Rabin, Valiant

Streaming Algorithms

Mitzenmacher, Nelson

Computational Mechanism Design & Game Theory

Chen, Singer, Parkes

Data Privacy

Chen, DworkVadhan

Graphics and Discrete Geometry

Gortler

Approximability of Optimization Problems

Barak, Singer, Sudan

Related Groups & Projects

Links of interest

Copyright © 2018 The President and Fellows of Harvard College | Accessibility | Report Copyright Infringement