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

Oct 23 - Chandrasekhar Hall - ATM Workshop on Schubert Varieties by Prof. K. N. Raghavan
Oct 24 - Chandrasekhar Hall - ATM Workshop on Schubert Varieties by Prof. K. N. Raghavan
Oct 24 - Alladi Ramakrishnan Hall - To iterate or not to iterate: a linear time algorithm for recognizing almost DAGs by M. S. Ramanujan
Oct 24 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Oct 25 - Chandrasekhar Hall - ATM Workshop on Schubert Varieties by Prof. K. N. Raghavan
Oct 25 - Alladi Ramakrishnan Hall - Beating Brute Force for (Quantified) Satisfiability of Circuits of Bounded Treewidth by Daniel Lokshtanov

More Seminars