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 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

Jan 29 - Alladi Ramakrishnan Hall Active Turbulence by Sumesh Thampi
Jan 29 - Room 327 Graph Decomposition B -- Master Thesis Presentation by Roohani Sharma/Saket Saurabh
Jan 29 - Room 117 Joint Measurability, EPR Steering and Bell Nonlocality by Prabha Mandayam
Jan 30 - Alladi Ramakrishnan Hall Physics in the light flavoured sector by B Ananthanarayan
Feb 1 - Alladi Ramakrishnan Hall ISLAMAS -- Instructional Seminar on Logical Aspects of Multi-Agent Systems by Conference
Feb 2 - Alladi Ramakrishnan Hall ISLAMAS -- Instructional Seminar on Logical Aspects of Multi-Agent Systems by Conference