About me

I work at the department of Computer Science and Engineering at IIT Kanpur. I try to make sense of the complex world around us through the tools of computer science: algorithms, complexity and logic.

Teaching this semester

This semester I am teaching Programs, proofs and types.

Recent blog posts