Home
Welcome

I am Ankit Kumar, second year PhD student in Khoury College, Northeastern University. My research interests lie in Formal Methods, Decision Procedures, Type Theory and Programming Languages.
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.