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
- Online Course Lectures for Esc101 (Introduction to Computing) course - January 27, 2017
- I am a Mentor now :) - January 21, 2017
- Mechanizing the Metatheory of TAL-0 Language - October 30, 2016
- 2016-09-28- Dependently Typed Graph - September 28, 2016
- Pin Bhabha pass Trek - August 2, 2016
- First Prize at Fresher's Night 2015 at IITK - August 9, 2015
- My experience at Droidcon India - 2013 - December 1, 2013
…or you can find more in the archives.