Disclaimer : This page lists only the information about the individual member relevant to the theory group activities. Please visit the individual's page (using the link above) for broader profile information.

Structural & Computational Complexity theory, Circuit Complexity, Lower bounds, Derandomization. |

#### Current Students

##### See here for former students

- Anoop S K M (Ph.D.)
- Bhabya Deep Rai (Ph.D.)
- Nagashri K (Ph.D.)
- Neha Kuntewar (Ph.D.)
- Sutanay Bhattacharjee (Ph.D.)
- Sudhanshu Gautam (M.Tech)
- Nalli Sai Soumya (B.Tech)
- Tahir Yusuf Sandalwala (B.Tech)

#### Teaching Actvities (while with the theory group - since Jan 2011)

- Modern Complexity Theory - Jan-Apr, 2024
- Computability and Complexity - Jul-Nov, 2023
- Mathematical Tools for Theoretical Computer Science - Jul-Nov, 2022
- Algorithmic Algebra - Jul-Nov, 2022
- Modern Complexity Theory - Jan-Apr, 2022
- Languages, Machines and Computation - Jan-Apr, 2022
- Computability and Complexity - Aug-Nov, 2021
- Pseudorandomness - Feb-May, 2021
- Mathematical Tools for Theoretical Computer Science - Aug-Dec, 2020
- Pseudorandomness - Jan-May, 2020
- Algorithmic Algebra - Jul-Nov, 2019
- Logic and Combinatorics for Computer Science - Jul-Nov, 2019
- Modern Complexity Theory - Jan-May, 2019
- Computability and Complexity - Jul-Nov, 2018
- Programming and Data Structures - Jul-Nov, 2018
- Advanced Data Structures & Algorithms (Section 2) - Jul-Nov, 2017
- Advanced Programming Lab - Jul-Nov, 2017
- Algorithmic Algebra - Jul-Nov, 2017
- Discrete Mathematics for Computer Science - Jan-May, 2017
- Modern Complexity Theory - Jan-May, 2017
- Logic and Combinatorics for Computer Science - Aug-Nov, 2016
- Computability and Complexity - Aug-Nov, 2016
- Langugages, Machines and Computation - Jan-Apr, 2016
- Communication Complexity (Reading Course) - Jan-Apr, 2016
- Logic and Combinatorics for Computer Science - Aug-Nov, 2015
- Algorithmic Algebra - Aug-Nov, 2015
- Advanced Complexity Theory - Jan-May, 2015
- Modern Techniques in Theory of Computation - Jan-May, 2015
- Quantum Algorithms and Quantum Complexity (Self-Study) - Jan-May, 2015
- Advanced Theory of Computation - Jul-Nov, 2014
- Languages, Machines and Computations - Jan-May, 2014
- Modern Techniques in Theory of Computation - Jan-May, 2014
- Algorithmic Algebra - Jul-Nov, 2013
- Mathematical Concepts for Computer Science - Jul-Nov, 2013
- Communication Complexity (Reading Course) - Jan-May, 2013
- Advanced Complexity Theory - Jan-May, 2013
- Advanced Theory of Computation - Jul-Nov, 2012
- Mathematical Concepts for Computer Science - Jul-Nov, 2012
- Modern Techniques in Theory of Computation - Jan-Apr, 2012
- Languages, Machines and Computation - Jan-Apr, 2012
- Advanced Complexity Theory - Jan-Apr, 2012
- Advanced Theory of Computation - Aug-Nov, 2011
- Mathematical Concepts for Computer Science - Aug-Nov, 2011
- Topics in Complexity Theory - Jan-Apr, 2011

#### Publications (while with the group, last 10)

##### See here for all publications while at IITM

**Energy and Output Patterns in Boolean Circuits**Authors: Jayalal Sarma, Kei Uchizawa

18th Annual Conference on Theory and Applications of Models of Computation (TAMC 2024), May 2024**On Rotation Distance of Rank Bounded Trees**Authors: Anoop S K M, Jayalal Sarma

Fundamentae Informatica, Mar 2024**On Separating Words Problem over Groups**Authors: Neha Kuntewar, Anoop S K M, Jayalal Sarma

25th International Conference on Descriptional Complexity of Formal Systems (DCFS 2023), Jul 2023**On Rotation Distance, Transpositions and Rank Bounded Trees**Authors: Anoop S K M, Jayalal Sarma

28th International Computing and Combinatorics Conference (COCOON 2022), Oct 2022**Isomorphism Testing of Read-once Functions and Polynomials**Authors: Raghavendra Rao B V, Jayalal Sarma

Information and Computation, Feb 2022**On Alternation, VC-dimension and k-fold Union of Sets**Authors: Amit Kumar Roy, Jayalal Sarma

European Conference on Combinatorics, Graph Theory, and Applications (EUROCOMB 2021), Jul 2021**On the Computational Power of Programs over BA_2 Monoid**Authors: Manasi Kulkarni, Jayalal Sarma, Janani Sundaresan

14th-15th International Conference on Language and Automata Theory and Applications (LATA 2021), Mar 2021**New Bounds for Energy Complexity of Boolean Functions**Authors: Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma

Theoretical Computer Science, Sep 2020**Power of Decision Trees with Monotone Queries**Authors: Prashanth Amireddy, Sai Jayasurya, Jayalal Sarma

The 26th International Conference on Computing and Combinatorics (COCOON 2020), Aug 2020**On the Mystery of Negations in Circuits : Structure vs Power**Authors: Prashanth Amireddy, Sai Jayasurya, Jayalal Sarma

The 26th International Conference on Computing and Combinatorics (COCOON 2020), Aug 2020