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

…or you can find more in the archives.