Key Research Areas

Theoretical Computer Science, Computational Complexity Theory, Proof Complexity


About


Recent Publications

1.


Course Taught

1.