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 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

Mar 2 - Alladi Ramakrishnan Hall Quantum Probability by Luigi Accardi
Mar 3 - Alladi Ramakrishnan Hall Tamari Lattice and its Extensions - 2 by Xavier Viennot
Mar 3 - Room 327 Graph Decomposition A -- Master Thesis Presentation by Pratik Tale/Saket Saurabh
Mar 3 - Alladi Ramakrishnan Hall Quantum Probability by Luigi Accardi
Mar 3 - Hall 123 A new solution to the von Neumann-Day problem for finitely presented groups. by Yash Lodha
Mar 3 - Alladi Ramakrishnan Hall Large Scale Anisotropy in the Universe by Pankaj Jain