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!

Admissions for doctoral programme via JEST 2014 are now open.

Indo-French Workshop on Games of Imperfect Information via Automata and Logic (GImInAL) ; 7 and 10 Dec 2013

Thematic Lectures in Theoretical Computer Science (March 17th,  April 21st, May 19th, June 23rd, July 21st, Aug 25th, Sep 15th, Oct 20th, Nov 24th, Dec 22nd 2012).

Recent/Forthcoming Visitors.

Seminars

Jul 30 - Alladi Ramakrishnan Hall Area maximizing Gelfand-Tsetlin patterns by B Ravinder
Jul 30 - Room 326 Generalized Euler Lehmer constants by Ekata Saha
Aug 1 - Alladi Ramakrishnan Hall Homotopy and homology of non-commutative spaces by Snigdhayan Mahanta
Aug 1 - Alladi Ramakrishnan Hall Orbits of Pairs in Finite Modules over Discrete Valuation Rings and Permutation Representations by C. P. Anilkumar
Aug 1 - Alladi Ramakrishnan Hall Ramanujan expansions and twin primes by M. Ram Murty
Aug 7 - Alladi Ramakrishnan Hall Thermodynamics and dynamics of systems with long-range interactions by Shamik Gupta