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 4 - Alladi Ramakrishnan Hall Cellularity, Modular Representations, and Gram Matrices of a Class of Diagram Algebra by Karimilla Bi
Aug 4 - Alladi Ramakrishnan Hall Replication Forks & Chromosome Territories: Signaling mechanisms during their repairs by Prof. B.J. Rao
Aug 5 - Alladi Ramakrishnan Hall The diophantine equation y^2=x^8+x^4+x^2 by L. Merel
Aug 5 - Alladi Ramakrishnan Hall Topological Signatures of Symmetry Enhancing Phase Transitions by Soumyadeep Bhattacharya
Aug 6 - Alladi Ramakrishnan Hall Dynamic Graph Matching by Manoj Gupta
Aug 6 - Alladi Ramakrishnan Hall Single molecule conformational dynamics and mechanics: Theory, simulation, analysis and interpretation by Ashok Garai