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.



Recent/Forthcoming Visitors.


Aug 20 - Room 327 Complexity theory reading group by -
Aug 20 - Room 327 Type theory by Kamal Lodaya
Aug 21 - Alladi Ramakrishnan Hall An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas by Nitin Saurabh
Aug 21 - Room 117 Usefulness of entanglement in quantum channel discrimination by Sibasish Ghosh
Aug 21 - Alladi Ramakrishnan Hall Classification of Discrete series by lowest K type by R. Parthasarathy
Aug 25 - Alladi Ramakrishnan Hall Some Developments in Computation of Quantum Entropy of Extremal Black Hole by Rajesh Gupta