Theory Group

Areas of Research

• Algorithms

  Algorithmic Game Theory Approximation Algorithms Computational Geometry Distributed Algorithms Exact Algorithms Graph Algorithms Online Algorithms Parameterized Algorithms

  John Augustine Narayanaswamy N S Meghana Nasre Akanksha Agrawal Shreyas Pai Yadu Vasudev



• Complexity Theory

  Algebra and Computation Algebraic Complexity Boolean Function Analysis Circuit Complexity Communication Complexity Property Testing Pseudorandomness Structural Complexity

  Jayalal Sarma Raghavendra Rao B V Yadu Vasudev



• Formal Language Theory

  Algebraic Automata Theory Formal Grammars

  Jayalal Sarma



• Graph Theory & Combinatorics

  Combinatorics of Pebbling Graph Ideals Matching Theory Structural Graph Theory

  Jayalal Sarma Narayanaswamy N S Meghana Nasre Raghavendra Rao B V Nishad Kothari



• Logic

  Logic in Computer Science

  Anantha Padmanabha