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
Beware of numeric type classes. - April 4, 2017 (Tuesday)
Adventures in optimising ChaCha20 for Raaz. - February 6, 2017 (Monday)
Raaz: New release - February 2, 2017 (Thursday)
Haskell 2016: impressions of a first timer - September 27, 2016 (Tuesday)
Handling secure memory in Raaz. - August 2, 2016 (Tuesday)