ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Ankit Kumar

Registered user since Mon 24 Jul 2017

Name:Ankit Kumar
Country:United States
Affiliation:Northeastern University
Personal website: http://ankitku.github.io
Research interests:Formal Methods, Programming Languages, Theorem Proving, Decision Procedures

Contributions

Show activities from other conferences

ICFP 2023-profile
View general profile