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

Jul 7 - Alladi Ramakrishnan Hall Variations and Implications of a Theorem of Jordan by K N Raghavan
Jul 8 - Alladi Ramakrishnan Hall Planar algebras by Vijay Kodiyalam
Jul 8 - Alladi Ramakrishnan Hall Implications from B→K∗ℓ+ℓ− observables using 3fb−1 of LHCb data by Rahul Sinha
Jul 9 - Room 326 Linear independence of Briggs-Euler-Lehmer constants over number fields by Ekata Saha
Jul 9 - Alladi Ramakrishnan Hall On the representation theory of G~S_n by Murali K Srinivasan
Jul 10 - Room 326 Shifted convolution sum in the context of Ramanujan expansions by Biswajyoti Saha