This course will expose students to mathematical methods that play a role in recent advances in theoretical computer science. The course will use (and develop) tools from combinatorics, probability, algebra and analysis, and will discuss applications to modern topics in the theory of computation.