"Theoretical computer science is a field where deep mathematical insights lead to practical computational tools."
Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.