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

Sep 26 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Sep 27 - Room 326 - Supersingular reduction and Lubin-Tate theory by Soumyadip Sahu.
Sep 28 - Hall 123 - Pheno Journal Club by Pheno Journal Club
Sep 29 - Room 327 - AlCom seminar series by -
Oct 3 - Room 327 - Logic Seminar by Ramanathan S Thinniyam
Oct 5 - Hall 123 - Pheno Journal Club by Pheno Journal Club

More Seminars