About

I graduated with a doctoral degree from the department of Electrical and Computer Engineering at UCSD. I was fortunate to be advised by Russell Impagliazzo (and unofficially co-advised by Toni Pitassi). My research is focused on Proof Complexity with a particular interest in Algebraic Proof Systems. I was briefly a postdoc at IDSIA, SUPSI, Lugano.

Prior to that, I was an undergraduate at the IIT Kanpur, where I graduated with a B.Tech. in Electrical Engineering with a second major in Computer Science.

I am currently an Assistant Professor in the Department of Computer Science at IIT Indore.

Contact

My office is in POD1A, third floor, 422 (last one left of the elevator)
‍
I can be reached at <firstname>m@iiti dot ac dot in.
Here is my LinkedIn profile.