Theoretical Computer Science
The theoretical computer science (TCS) wing of IMSc is currently a group of eight faculty members and a large group of research scholars.
Research is pursued in foundational areas of computer science, including Algorithms and Data Structures, Automata Theory, Computational Complexity, Distributed Computing, Graph Theory and Combinatorics, Logics of Programs, Parameterized Complexity, Semantics and Symbolic Computation.
NEWS!
Thematic Lectures in Theoretical Computer Science (The first one on Saturday, March 17th 2012).
Selected TCS summer students 2012
Students Selected to TCS PhD Program for the academic year 2012-13


