15-251 Great Ideas in Theoretical Computer Science

Calendar


Color Code - a very rough division of topics

Green Formalizing computation and computability theory
Yellow Computational complexity: theory and applications
Blue Randomness in computer science and more advanced topics