Text Size

  • Increase
  • Decrease
  • Normal

Current Size: 100%

Printer-friendly version

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.



Recent/Forthcoming Visitors.


Aug 28 - Chandrasekhar Hall Lie groups by P Sankaran
Aug 28 - Alladi Ramakrishnan Hall Parameterized complexity by Parameterized Complexity Journal Club
Aug 28 - Room 327 Axiomatizing regular expressions by Kamal Lodaya
Aug 28 - Hall 123 Example of a noncomplemented Banach subspace by Surajit Biswas
Sep 1 - Alladi Ramakrishnan Hall Topology and thermal Hall effect in a Kagome antiferromagnet by G. Koushik
Sep 2 - Hall 123 TBA by Shiv Prakash Patel