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

Sep 3 - Room 327 Complexity theory reading group by -
Sep 3 - Hall 123 Bounded cohomology by Arghya Mondal
Sep 3 - Room 326 Reading course by Vikram
Sep 3 - Room 327 Type theory by Kamal Lodaya
Sep 3 - Alladi Ramakrishnan Hall Top polarization measurement and anomalous Wtb coupling by Arunprasath