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 30 - Alladi Ramakrishnan Hall Labelled free choice petri nets, finite product automata and expressions by Ramchandra Phawade
Jul 30 - Room 117 Quantum Thermodynamics by Sagnik Chakraborty
Jul 30 - Alladi Ramakrishnan Hall Mechanising Mathematics: Excursions in Interactive Theorem Proving by T V H Prathamesh
Jul 31 - Alladi Ramakrishnan Hall Quantum geometry of the interacting Hofstadter system in the honeycomb lattice by Archana Mishra
Jul 31 - Hall 123 REPRESENTATIONS OF FUNDAMENTAL GROUPS OF COMPACT RIEMANN SURFACE. by Dr. Sanjay Kumar Singh
Jul 31 - Alladi Ramakrishnan Hall Integrable lattice models from four dimensional field theory by Zodinmawia