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

Aug 21 - Alladi Ramakrishnan Hall - Knot invariants, topological strings, and 3d/3d correspondence - VI by Satoshi Nawata
Aug 22 - Alladi Ramakrishnan Hall - Packing, combinatorial Macbeath regions and semi-algebraic set systems by Arijit Ghosh
Aug 22 - Alladi Ramakrishnan Hall - The quantum spin quadrumer by Subhankar Khatua
Aug 22 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Aug 23 - Alladi Ramakrishnan Hall - Knot invariants, topological strings, and 3d/3d correspondence - VII by Satoshi Nawata
Aug 23 - Alladi Ramakrishnan Hall - Glueball spectra from a Yang-Mills matrix model by Mahul Pandey

More Seminars