The University of Waterloo is a wonderful place to conduct research in Theoretical Computer Science. The remarkable breadth of TCS research conducted in the Faculty of Mathematics by the A&C group, as well as the Combinatorics & Optimization, Cyptography and Symbolic Computation groups, coupled with active research groups in Pure Mathematics, Statistics and the Institute for Quantum Computing makes Waterloo an exciting place for exploring the limits of computation.
If you are interested in applying to Waterloo, please see the graduate studies section in this page