![Ankit Kumar](https://icfp23.sigplan.org/getProfileImage/ankitkumar1/2a9e262e-3e15-48ca-aa5c-733e48c77f77/small.jpg?1711571433000)
Registered user since Mon 24 Jul 2017
Name:Ankit Kumar
Country:United States
Affiliation:Northeastern University
Personal website: http://ankitku.github.io
GitHub: https://github.com/ankitku
Research interests:Formal Methods, Programming Languages, Theorem Proving, Decision Procedures
Contributions
ICFP 2023-profile
View general profile
View general profile