SPLASH 2024 (series) / Kartik Nagar
![Kartik Nagar](https://2024.splashcon.org/getProfileImage/kartiknagar1/03bcf87c-09d5-4b3a-8201-87db3291d3ae/small.jpg?1711519661000)
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