Theoretical Computer Science. The primary research focus of the theoretical computer science (tcs) group at IMSc is on the mathematical foundations of computation. These include algorithms, logic, automata theory, combinatorics, and computational complexity.