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 TitleBoolean circuit complexity, proof complexity, QBF solving, derandomisation, meta-complexity and pseudorandomness.Host: Jayalal Sarma |