Home


Welcome

I am Ankit Kumar, final year graduate student in the Department of Computer Science and Engineering at IIT Kanpur. My research interests lie in the areas of Type Theory, Programming Languages and Functional Programming

Posts

…or you can find more in the archives.