Theoretical Computer Science

The theoretical computer science (TCS) wing of IMSc is currently a group of nine 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

Feb 6 - Alladi Ramakrishnan Hall - AIS on Operator Theory/Algebra by AIS on Operator Theory/Algebra
Feb 6 - Hall 123 - Tutorials by Tutorials
Feb 7 - Alladi Ramakrishnan Hall - AIS on Operator Theory/Algebra by AIS on Operator Theory/Algebra
Feb 7 - Hall 123 - Tutorials by Tutorials
Feb 8 - Alladi Ramakrishnan Hall - AIS on Operator Theory/Algebra by AIS on Operator Theory/Algebra
Feb 8 - Alladi Ramakrishnan Hall - Infinite iterated cross products, Drinfeld doubles and 2-cabling planar algebras by Sandipan De

More Seminars