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

Dec 8 - Hall 123 - Pheno JC by Pheno JC
Dec 9 - Alladi Ramakrishnan Hall - Zero cycles of degree one on homogeneous spaces-II by Parimala Raman
Dec 9 - Room 318 - Introduction to Yangians by Sachin Gautam
Dec 9 - Alladi Ramakrishnan Hall - Introduction to Toric Varieties and Diophantine geometry. by Philippon Patrice
Dec 9 - Ramanujan Auditorium - Classical music by QI school cultural programme
Dec 10 - Hall 123 - Mini-meeting on the computer science/biology interface by BioCS16

More Seminars