TCS being theoretical computer science? I have not seen that acronym before.