Theoretical computer science is where it's at.