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.

 

NEWS!

Recent/Forthcoming Visitors.

Seminars

Apr 27 - Alladi Ramakrishnan Hall Cohomology of locally symmetric spaces by Arghya Mondal
Apr 28 - Room 327 Graph Decomposition A -- Master Thesis Presentation by Pratik Tale/Saket Saurabh
Apr 28 - Alladi Ramakrishnan Hall Aspects of N=2 conformal quiver gauge theories by Renjan John
Apr 29 - Hall 123 Stability, bifurcation and pattern formation of a diffusive predator-prey model by M. Sambath
Apr 30 - Room 327 Graph Decomposition B -- Master Thesis Presentation by Roohani Sharma/Saket Saurabh
Apr 30 - Alladi Ramakrishnan Hall Inhomogeneous cubic congruences and rational points on Del Pezzo surfaces by Stephan Baier