Math/Theoretical CS major: Match schools?

@tk21769 I’ve looked into computational linguistics for a while, and it does sound very interesting. As much as it combines my interests in CS and linguistics, I’d love to pursue a field more linked to theoretical/pure math, like theoretical CS/logic. If you have any other subfield suggestions, though, I’m definitely open to it!