Gaurav Sood

Senior Research Fellow
Theoretical Computer Science
The Institute of Mathematical Sciences, Chennai

E-mail: gauravs AT imsc DOT res DOT in

I am a PhD student working under Prof. Meena Mahajan. I have been working primarily in proof complexity.

Publications

(As per the convention in theoretical computer science, all publications have authors listed in the alphabetical order of last names)