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 and post-doctoral fellows.

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!

Recent/Forthcoming Visitors.

Seminars

May 30 - Room 217 - In-place Graph Algorithms by Sankardeep Chakraborty
Jun 1 - Room 217 - comprehensives by Ashwin Jacob
Jun 1 - Hall 123 - PJC by Pheno Journal Club
Jun 2 - Room 217 - comprehensives by Arindam Biswas
Jun 5 - Hall 123 - TBA by Debabrata Goswami
Jun 6 - Hall 123 - TBA by Debabrata Goswami

More Seminars