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.

Research Interests/Thesis Title

Boolean circuit complexity, proof complexity, QBF solving, derandomisation, meta-complexity and pseudorandomness.

Host: Jayalal Sarma