ICFP/SPLASH 2025 (series) / Kartik Nagar
Registered user since Fri 22 Apr 2022
Name:Kartik Nagar
Country:India
Affiliation:IIT Madras
Personal website: https://kartiknagar.github.io/
Research interests:Automated Formal Verification, Program Analysis, Programming Languages
Contributions
Using general profile